Gilberto
Pérez Vega
Profesor Titular de Universidad
![Foto de Gilberto](/img/nophoto.png)
![Foto de Georgia Institute of Technology](/img/noimage_org.png)
Georgia Institute of Technology
Atlanta, Estados UnidosPublicaciones en colaboración con investigadores/as de Georgia Institute of Technology (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)