Zohar Manna, Amir Pnueli. Specification and Verification of Concurrent Programs By Forall-Automata. In POPL. pages 1-12, 1987.
@inproceedings{MannaP87, title = {Specification and Verification of Concurrent Programs By Forall-Automata}, author = {Zohar Manna and Amir Pnueli}, year = {1987}, tags = {program verification}, researchr = {https://researchr.org/publication/MannaP87}, cites = {0}, citedby = {0}, pages = {1-12}, booktitle = {POPL}, }