%0 Conference Paper %1 conf/micro/DembinskiB78 %A Dembinski, Piotr %A Budkowski, Stanislaw %B MICRO %D 1978 %E Crocker, Stephen D. %E Johnson, Gearold %E Parker, Alice C. %E Ashlstrom, John %I ACM %K dblp %P 139-143 %T An introduction to the verification oriented microprogramming language "MIDDLE". %U http://dblp.uni-trier.de/db/conf/micro/micro1978.html#DembinskiB78

@inproceedings{conf/micro/DembinskiB78, added-at = {2014-09-24T00:00:00.000+0200}, author = {Dembinski, Piotr and Budkowski, Stanislaw}, biburl = {https://www.bibsonomy.org/bibtex/2f17944d9ae00aceaedfc3115e18479a6/dblp}, booktitle = {MICRO}, crossref = {conf/micro/1978}, editor = {Crocker, Stephen D. and Johnson, Gearold and Parker, Alice C. and Ashlstrom, John}, ee = {http://dl.acm.org/citation.cfm?id=804323}, interhash = {99bb7fdebc9f2821ece61fd39f413926}, intrahash = {f17944d9ae00aceaedfc3115e18479a6}, keywords = {dblp}, pages = {139-143}, publisher = {ACM}, timestamp = {2015-12-24T12:16:56.000+0100}, title = {An introduction to the verification oriented microprogramming language "MIDDLE".}, url = {http://dblp.uni-trier.de/db/conf/micro/micro1978.html#DembinskiB78}, year = 1978 }