Advertisement

A few remarks on putting formal specifications to productive use

  • John Guttag
Chapter 5 Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • John Guttag
    • 1
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyUSA

Personalised recommendations