%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 %K dblp %P 515-522 %T Using Machine Descriptions in Program Verification. %U http://dblp.uni-trier.de/db/conf/jcit/jcit78.html#JoynerCB78

@inproceedings{conf/jcit/JoynerCB78, added-at = {2002-01-03T00:00:00.000+0100}, author = {Jr., William H. Joyner and Carter, William C. and Brand, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/214112ab0f805f10d75bb11db983f03fa/dblp}, booktitle = {Jerusalem Conference on Information Technology}, interhash = {91917f3228e04cb4933b8e2e2f7b86ad}, intrahash = {14112ab0f805f10d75bb11db983f03fa}, keywords = {dblp}, pages = {515-522}, timestamp = {2016-02-02T10:51:37.000+0100}, title = {Using Machine Descriptions in Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/jcit/jcit78.html#JoynerCB78}, year = 1978 }