Some Experience with the Use of Formal Specifications

Sorry, there's nothing here.

Cite this paper

@inproceedings{Bochmann1982SomeEW, title={Some Experience with the Use of Formal Specifications}, author={Gregor von Bochmann and Eduard Cerny and Michel Gagne and Claude Jard and Alain L{\'e}veill{\'e} and Clement Lacaille and Michel Maksud and K. S. Raghunathan and Behçet Sarikaya}, booktitle={PSTV}, year={1982} }