Home Advanced Search

Advanced Search - Page 1

VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.)
Larch: Languages and Tools for Formal Specification
  • PDF
  • English
  • Year: 1993
  • Author: John V. Guttag, James J. Horning