%0 Conference Paper %1 conf/ictac/HarwoodCW08 %A Harwood, Will %A Cavalcanti, Ana %A Woodcock, Jim %B ICTAC %D 2008 %E Fitzgerald, John S. %E Haxthausen, Anne E. %E Yenigün, Hüsnü %I Springer %K dblp %P 141-155 %T A Theory of Pointers for the UTP. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#HarwoodCW08 %V 5160 %@ 978-3-540-85761-7

@inproceedings{conf/ictac/HarwoodCW08, added-at = {2022-02-21T00:00:00.000+0100}, author = {Harwood, Will and Cavalcanti, Ana and Woodcock, Jim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2113c02c65e800d0e7f2a1b3e152a3c1a/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2008}, editor = {Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-540-85762-4_10}, interhash = {46bad676c30a8e7961556f20800b90b3}, intrahash = {113c02c65e800d0e7f2a1b3e152a3c1a}, isbn = {978-3-540-85761-7}, keywords = {dblp}, pages = {141-155}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2022-03-01T07:14:30.000+0100}, title = {A Theory of Pointers for the UTP.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#HarwoodCW08}, volume = 5160, year = 2008 }