Larch: Languages and Tools for Formal Specification

  • JV Guttag
  • , JJ Horning

Research output: Book/Report › Book › peer-review

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

Keywords

  • Mathematics

Cite this