Information Retrieval Lab
IRlab
![Foto de Information Retrieval Lab](/img/grupo.png)
![Foto de National Institute of Aerospace](/img/noimage_org.png)
National Institute of Aerospace
Hampton, Estados UnidosPublicaciones en colaboración con investigadores/as de National Institute of Aerospace (1)
2012
-
PVS linear algebra libraries for verification of control software algorithms in C/ACSL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)