%0 Conference Paper %1 conf/tphol/JonesBD04 %A Jones, Michael %A Benson, Aaron %A Delorey, Dan %B TPHOLs %D 2004 %E Slind, Konrad %E Bunker, Annette %E Gopalakrishnan, Ganesh %I Springer %K dblp %P 168-183 %T Proving Compatibility Using Refinement. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2004.html#JonesBD04 %V 3223 %@ 3-540-23017-3

@inproceedings{conf/tphol/JonesBD04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Jones, Michael and Benson, Aaron and Delorey, Dan}, biburl = {https://www.bibsonomy.org/bibtex/2e1943738d89039e93ac4915ee0086087/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2004}, editor = {Slind, Konrad and Bunker, Annette and Gopalakrishnan, Ganesh}, ee = {https://doi.org/10.1007/978-3-540-30142-4_13}, interhash = {7c6a68336c1073a0ba54c9acc417238b}, intrahash = {e1943738d89039e93ac4915ee0086087}, isbn = {3-540-23017-3}, keywords = {dblp}, pages = {168-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:50.000+0200}, title = {Proving Compatibility Using Refinement.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2004.html#JonesBD04}, volume = 3223, year = 2004 }