Metadata only
Date
2007Type
- Report
ETH Bibliography
yes
Altmetrics
Abstract
This work aims at relating the methodologies Spec] and JML rely on by defining a semantics-preserving translation scheme between Spec] and JML. This translation shall map a Spec]
program, verifiable in the Spec] methodology, to a semantic equivalent JML program, verifiable in the JML methodology, and vice versa. Show more
Publication status
publishedPublisher
ETHOrganisational unit
03653 - Müller, Peter / Müller, Peter
03594 - Meyer, Bertrand (emeritus)
More
Show all metadata
ETH Bibliography
yes
Altmetrics