Gilberto
Pérez Vega
Profesor Titular de Universidade
SRI International
San José, EE. UU.Publications in collaboration with researchers from SRI International (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)