PVS linear algebra libraries for verification of control software algorithms in C/ACSL

  1. Herencia-Zapana, H.
  2. Jobredeaux, R.
  3. Owre, S.
  4. Garoche, P.-L.
  5. Feron, E.
  6. Perez, G.
  7. Ascariz, P.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642288906

Año de publicación: 2012

Volumen: 7226 LNCS

Páginas: 147-161

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-28891-3_15 GOOGLE SCHOLAR
Fuente de los datos: Scopus