%0 Conference Paper %1 conf/aplas/Harrison06 %A Harrison, William L. %B APLAS %D 2006 %E Kobayashi, Naoki %I Springer %K dblp %P 97-113 %T Proof Abstraction for Imperative Languages. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#Harrison06 %V 4279 %@ 3-540-48937-1

@inproceedings{conf/aplas/Harrison06, added-at = {2017-05-19T00:00:00.000+0200}, author = {Harrison, William L.}, biburl = {https://www.bibsonomy.org/bibtex/2ec5dfce39dd0dd29dad6806afa595383/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2006}, editor = {Kobayashi, Naoki}, ee = {https://doi.org/10.1007/11924661_6}, interhash = {6124969f3326b54fc0164e357a86d1ed}, intrahash = {ec5dfce39dd0dd29dad6806afa595383}, isbn = {3-540-48937-1}, keywords = {dblp}, pages = {97-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:01.000+0200}, title = {Proof Abstraction for Imperative Languages.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#Harrison06}, volume = 4279, year = 2006 }