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
Año de publicación: 2007
Volumen: 4739 LNCS
Páginas: 233-240
Tipo: Aportación congreso