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
Year of publication: 2007
Volume: 4739 LNCS
Pages: 233-240
Type: Conference paper