AutoProof: auto-active functional verification of object-oriented programs
Metadata only
Date
2017-11Type
- Journal Article
Publication status
publishedExternal links
Journal / series
International Journal on Software Tools for Technology TransferVolume
Pages / Article No.
Publisher
SpringerSubject
Functional verification; Auto-active verification; Object-oriented verification; Verification benchmarksMore
Show all metadata