Skip to content
cs-conference-ranking.org

The Larch Approach to Specification (Abstract).

John V. Guttag

VenueBFM
Year1991
ProceedingsVDM Europe (1)
DBLP recordconf/fm/Guttag91 ↗

Browse the full FM paper archive.