%0 Conference Paper %1 conf/plilp/BowenJP90 %A Bowen, Jonathan P. %A He, Jifeng %A Pandya, Paritosh K. %B PLILP %D 1990 %E Deransart, Pierre %E Maluszynski, Jan %I Springer %K Compilation Prototyping Specification Verification formal methods myown %P 45-59 %T An Approach to Verifiable Compiling Specification and Prototyping. %U http://dblp.uni-trier.de/db/conf/plilp/plilp90.html#BowenJP90 %V 456 %@ 3-540-53010-X

@inproceedings{conf/plilp/BowenJP90, added-at = {2011-08-01T19:35:39.000+0200}, author = {Bowen, Jonathan P. and He, Jifeng and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/23d9abab5766634372e9a09640e67d32a/jpbowen}, booktitle = {PLILP}, crossref = {conf/plilp/1990}, description = {dblp}, editor = {Deransart, Pierre and Maluszynski, Jan}, ee = {http://dx.doi.org/10.1007/BFb0024175}, interhash = {d8b1ef7082010fb911ac9f23716223c2}, intrahash = {3d9abab5766634372e9a09640e67d32a}, isbn = {3-540-53010-X}, keywords = {Compilation Prototyping Specification Verification formal methods myown}, pages = {45-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-01T19:35:39.000+0200}, title = {An Approach to Verifiable Compiling Specification and Prototyping.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp90.html#BowenJP90}, volume = 456, year = 1990 }