Steven M. German, Edmund M. Clarke, Joseph Y. Halpern. Reasoning About Procedures as Parameters. In Edmund M. Clarke, Dexter Kozen, editors, Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings. Volume 164 of Lecture Notes in Computer Science, pages 206-220, Springer, 1983.
@inproceedings{GermanCH83,
title = {Reasoning About Procedures as Parameters},
author = {Steven M. German and Edmund M. Clarke and Joseph Y. Halpern},
year = {1983},
researchr = {https://researchr.org/publication/GermanCH83},
cites = {0},
citedby = {0},
pages = {206-220},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings},
editor = {Edmund M. Clarke and Dexter Kozen},
volume = {164},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12896-4},
}