%0 Conference Paper %1 conf/jcit/JoynerCB78 %A Jr., William H. Joyner %A Carter, William C. %A Brand, Daniel %B Jerusalem Conference on Information Technology %D 1978 %E Moneta, Josef %I North-Holland %K dblp %P 515-522 %T Using Machine Descriptions in Program Verification. %U http://dblp.uni-trier.de/db/conf/jcit/jcit78.html#JoynerCB78 %@ 0-444-85192-5

@inproceedings{conf/jcit/JoynerCB78, added-at = {2017-02-08T00:00:00.000+0100}, author = {Jr., William H. Joyner and Carter, William C. and Brand, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2302f4541a89639faa5e3490d063f866c/dblp}, booktitle = {Jerusalem Conference on Information Technology}, crossref = {conf/jcit/1978}, editor = {Moneta, Josef}, interhash = {91917f3228e04cb4933b8e2e2f7b86ad}, intrahash = {302f4541a89639faa5e3490d063f866c}, isbn = {0-444-85192-5}, keywords = {dblp}, pages = {515-522}, publisher = {North-Holland}, timestamp = {2017-02-09T11:34:35.000+0100}, title = {Using Machine Descriptions in Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/jcit/jcit78.html#JoynerCB78}, year = 1978 }