Conferences in DBLP

World Congress on Formal Methods (FM) (fm)
1979 (conf/fm/1979)

1. Helmut K. Berg
   Towards a Uniform Design Methodology for Software, Firmware, and Hardware. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:1-38 [Conf]
   
2. Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
   Writing Simulatable Specifications in SPECIAL. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:39-78 [Conf]
   
3. Donald L. Boyd, Antonio Pizzarello, William T. Wood
   An Overview of RDM: Rational Design Methodology. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:79-110 [Conf]
   
4. Donald L. Boyd, Antonio Pizzarello, William T. Wood
   Abstraction and Refinement in RDM. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:111-149 [Conf]
   
5. Helmut K. Berg, Wolfgang K. Giloi
   Hierarchical Specification of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:150-196 [Conf]
   
6. William R. Franta, W. E. Boebert, Helmut K. Berg
   An Approach to the Specification of Distributed Software. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:197-236 [Conf]
   
7. Helmut K. Berg, William R. Franta, Thomas G. Moher
   Correctness of Software - An Overview. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:237-354 [Conf]
   
8. Mark Moriconi
   Interactive Design and Verification: A Message Switching Network Example. [Citation Graph (0, 0)][DBLP]
   The Use of Formal Specification of Software, 1979, pp:355-388 [Conf]