%0 Conference Paper %1 conf/birthday/MasonT94 %A Mason, Ian A. %A Talcott, Carolyn L. %B Logic, Language and Computation %D 1994 %E Jones, Neil D. %E Hagiya, Masami %E Sato, Masahiko %I Springer %K dblp %P 225-254 %T Program Transformation via Contextual Assertions. %U http://dblp.uni-trier.de/db/conf/birthday/takasu94.html#MasonT94 %V 792 %@ 0-387-57935-4

@inproceedings{conf/birthday/MasonT94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Mason, Ian A. and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/211094249d0e1a1a974b131f677d78adc/dblp}, booktitle = {Logic, Language and Computation}, crossref = {conf/birthday/1994takasu}, editor = {Jones, Neil D. and Hagiya, Masami and Sato, Masahiko}, ee = {https://doi.org/10.1007/BFb0032403}, interhash = {111bdc7fec508b7b2f58d8aa6c77cc5c}, intrahash = {11094249d0e1a1a974b131f677d78adc}, isbn = {0-387-57935-4}, keywords = {dblp}, pages = {225-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:42.000+0200}, title = {Program Transformation via Contextual Assertions.}, url = {http://dblp.uni-trier.de/db/conf/birthday/takasu94.html#MasonT94}, volume = 792, year = 1994 }