Verification of program properties using different theorem provers: A case study
- Jorge, J.S.
- Gulias, V.M.
- Castro, L.M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540758662
Ano de publicación: 2007
Volume: 4739 LNCS
Páxinas: 233-240
Tipo: Achega congreso
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)