Formal Foundation for Specification and Verification

Cite this paper

@inproceedings{Lamport1984FormalFF, title={Formal Foundation for Specification and Verification}, author={Leslie Lamport and Fred B. Schneider}, booktitle={Advanced Course: Distributed Systems}, year={1984} }