%0 Conference Paper %1 conf/lopstr/PoernomoC00a %A Poernomo, Iman %A Crossley, John N. %B LOPSTR (LNCS 2042: Selected Papers) %D 2000 %E Lau, Kung-Kiu %I Springer %K dblp %P 18-37 %T Protocols between Programs and Proofs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2000lncs.html#PoernomoC00a %V 2042 %@ 3-540-42127-0

@inproceedings{conf/lopstr/PoernomoC00a, added-at = {2017-05-17T00:00:00.000+0200}, author = {Poernomo, Iman and Crossley, John N.}, biburl = {https://www.bibsonomy.org/bibtex/2b365116f1a0c833fab34d68a9cd45ac7/dblp}, booktitle = {LOPSTR (LNCS 2042: Selected Papers)}, crossref = {conf/lopstr/2000}, editor = {Lau, Kung-Kiu}, ee = {https://doi.org/10.1007/3-540-45142-0_2}, interhash = {994322ba5761e310e24833dd34b58c41}, intrahash = {b365116f1a0c833fab34d68a9cd45ac7}, isbn = {3-540-42127-0}, keywords = {dblp}, pages = {18-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:44.000+0200}, title = {Protocols between Programs and Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2000lncs.html#PoernomoC00a}, volume = 2042, year = 2000 }