%0 Conference Paper %1 conf/imperial/Taylor93 %A Taylor, Paul %B Theory and Formal Methods %D 1993 %E Burn, Geoffrey L. %E Gay, Simon J. %E Ryan, Mark %I Springer %K dblp %P 302-313 %T An Exact Interpretation of While. %U http://dblp.uni-trier.de/db/conf/imperial/imperial1993.html#Taylor93 %@ 3-540-19842-3

@inproceedings{conf/imperial/Taylor93, added-at = {2003-02-25T00:00:00.000+0100}, author = {Taylor, Paul}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ab663b8bafd49521478370020af10025/dblp}, booktitle = {Theory and Formal Methods}, crossref = {conf/imperial/1993}, editor = {Burn, Geoffrey L. and Gay, Simon J. and Ryan, Mark}, interhash = {597923273d2e2c7b0285420e7196acca}, intrahash = {ab663b8bafd49521478370020af10025}, isbn = {3-540-19842-3}, keywords = {dblp}, pages = {302-313}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2016-02-02T13:51:25.000+0100}, title = {An Exact Interpretation of While.}, url = {http://dblp.uni-trier.de/db/conf/imperial/imperial1993.html#Taylor93}, year = 1993 }