José Santiago
Jorge Castro
Profesor Permanente Laboral
David
Cabrero Souto
Profesor Contratado Doutor
Publicacións nas que colabora con David Cabrero Souto (1)
2006
-
Certifying properties of programs using theorem provers
Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287