Iman Poernomo, John N. Crossley
Protocols between Programs and Proofs
LOPSTR, 2000.
@inproceedings{LOPSTR-J-2000-PoernomoC, author = "Iman Poernomo and John N. Crossley", booktitle = "{Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation}", doi = "10.1007/3-540-45142-0_2", isbn = "3-540-42127-0", pages = "18--37", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Protocols between Programs and Proofs}", volume = 2042, year = 2000, }