%0 Conference Paper %1 conf/pc/LondonGHLMP78 %A London, Ralph L. %A Guttag, John V. %A Horning, James J. %A Lampson, Butler W. %A Mitchell, James G. %A Popek, Gerald J. %B Program Construction %D 1978 %E Bauer, Friedrich L. %E Broy, Manfred %I Springer %K dblp %P 133-163 %T Proof Rules for the Programming Language Euclid. %U http://dblp.uni-trier.de/db/conf/pc/pc1978.html#LondonGHLMP78 %V 69 %@ 038709251X

@inproceedings{conf/pc/LondonGHLMP78, added-at = {2017-05-19T00:00:00.000+0200}, author = {London, Ralph L. and Guttag, John V. and Horning, James J. and Lampson, Butler W. and Mitchell, James G. and Popek, Gerald J.}, biburl = {https://www.bibsonomy.org/bibtex/2998aec964a937eaeefe247b5428f701a/dblp}, booktitle = {Program Construction}, crossref = {conf/pc/1978}, editor = {Bauer, Friedrich L. and Broy, Manfred}, ee = {https://doi.org/10.1007/BFb0014666}, interhash = {637c801b1b21ee562fd45a98f668c0e3}, intrahash = {998aec964a937eaeefe247b5428f701a}, isbn = {038709251X}, keywords = {dblp}, pages = {133-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:16.000+0200}, title = {Proof Rules for the Programming Language Euclid.}, url = {http://dblp.uni-trier.de/db/conf/pc/pc1978.html#LondonGHLMP78}, volume = 69, year = 1978 }