Larch: Languages and tools for formal specification (1993)

by J. V. Guttag , J. J. Horning , S. J. Garland , K. D. Jones , A. Modet , J. M. Wing
Venue:TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
Citations:309 - 9 self

Document Versions

Larch: Languages and tools for formal specification –J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing — 1993 — TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
Larch: Languages and Tools for Formal Specification –J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing — 1993 — TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
Larch: Languages and tools for formal specification –J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing — 1993 — TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE