%0 Conference Paper %1 conf/fm/Wildman02 %A Wildman, Luke %B FME %D 2002 %E Eriksson, Lars-Henrik %E Lindsay, Peter A. %I Springer %K dblp %P 491-510 %T A Formal Basis for a Program Compilation Proof Tool. %U http://dblp.uni-trier.de/db/conf/fm/fme2002.html#Wildman02 %V 2391 %@ 3-540-43928-5

@inproceedings{conf/fm/Wildman02, added-at = {2017-05-22T00:00:00.000+0200}, author = {Wildman, Luke}, biburl = {https://www.bibsonomy.org/bibtex/274a92e294ea7336c8c133fed56586f04/dblp}, booktitle = {FME}, crossref = {conf/fm/2002}, editor = {Eriksson, Lars-Henrik and Lindsay, Peter A.}, ee = {https://doi.org/10.1007/3-540-45614-7_28}, interhash = {cb0880ae9b378557f3423fe6c25a72e6}, intrahash = {74a92e294ea7336c8c133fed56586f04}, isbn = {3-540-43928-5}, keywords = {dblp}, pages = {491-510}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:22.000+0200}, title = {A Formal Basis for a Program Compilation Proof Tool.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme2002.html#Wildman02}, volume = 2391, year = 2002 }