"Tool Support for the Interactive Derivation of Formally Correct Functional ..."

Walter Guttmann et al. (2003)

Details and statistics

DOI: 10.3217/JUCS-009-02-0173

access: open

type: Journal Article

metadata version: 2023-09-07