%0 Conference Paper %1 conf/issta/Young89 %A Young, William D. %B Symposium on Testing, Analysis, and Verification %D 1989 %E Kemmerer, Richard A. %I ACM %K dblp %P 20-26 %T Verified Compilation in micro-Gypsy. %U http://dblp.uni-trier.de/db/conf/issta/tav89.html#Young89 %@ 0-89791-342-6

@inproceedings{conf/issta/Young89, added-at = {2022-02-18T00:00:00.000+0100}, author = {Young, William D.}, biburl = {https://www.bibsonomy.org/bibtex/2ec047facd438f40f86694c2d2db0b138/dblp}, booktitle = {Symposium on Testing, Analysis, and Verification}, crossref = {conf/issta/1989}, editor = {Kemmerer, Richard A.}, ee = {https://doi.org/10.1145/75309.75312}, interhash = {baa061763f143909271ca2d9b44fdee3}, intrahash = {ec047facd438f40f86694c2d2db0b138}, isbn = {0-89791-342-6}, keywords = {dblp}, pages = {20-26}, publisher = {ACM}, timestamp = {2024-04-09T20:41:38.000+0200}, title = {Verified Compilation in micro-Gypsy.}, url = {http://dblp.uni-trier.de/db/conf/issta/tav89.html#Young89}, year = 1989 }