Larch: Languages and Tools for Formal Specification

JV Guttag, JJ Horning

Research output: Book/ReportBookpeer-review

Original languageEnglish
PublisherSpringer Science + Business Media
ISBN (Print)9781461227045
Publication statusPublished - 6 Dec 2012
Externally publishedYes

Keywords

  • Mathematics

Cite this