%0 Conference Paper %1 conf/zum/BreuerB94 %A Breuer, Peter T. %A Bowen, Jonathan P. %B Z User Workshop %D 1994 %E Bowen, Jonathan P. %E Hall, J. Anthony %I Springer/BCS %K dblp %P 185-209 %T Towards Correct Executable Semantics for Z. %U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#BreuerB94 %@ 3-540-19884-9

@inproceedings{conf/zum/BreuerB94, added-at = {2019-09-25T00:00:00.000+0200}, author = {Breuer, Peter T. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/24f8b0d910ca5b8bfe0cfbb90dc783838/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1994}, editor = {Bowen, Jonathan P. and Hall, J. Anthony}, ee = {https://www.wikidata.org/entity/Q56940240}, interhash = {b9285b35790f43cb9f2f2fbce26bc197}, intrahash = {4f8b0d910ca5b8bfe0cfbb90dc783838}, isbn = {3-540-19884-9}, keywords = {dblp}, pages = {185-209}, publisher = {Springer/BCS}, series = {Workshops in Computing}, timestamp = {2019-09-26T12:59:40.000+0200}, title = {Towards Correct Executable Semantics for Z.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#BreuerB94}, year = 1994 }