Brent Hailpern, Susan S. Owicki. Modular Verification of Concurrent Programs. In POPL. pages 322-336, 1982.
@inproceedings{HailpernO82, title = {Modular Verification of Concurrent Programs}, author = {Brent Hailpern and Susan S. Owicki}, year = {1982}, tags = {program verification}, researchr = {https://researchr.org/publication/HailpernO82}, cites = {0}, citedby = {0}, pages = {322-336}, booktitle = {POPL}, }