%0 Conference Paper %1 conf/zum/BowenG94 %A Bowen, Jonathan P. %A Gordon, Michael J. C. %B Z User Workshop %D 1994 %E Bowen, Jonathan P. %E Hall, J. Anthony %I Springer/BCS %K dblp %P 141-167 %T Z and HOL. %U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#BowenG94 %@ 3-540-19884-9

@inproceedings{conf/zum/BowenG94, added-at = {2019-09-16T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Gordon, Michael J. C.}, biburl = {https://www.bibsonomy.org/bibtex/2cd82964a78244614d5c9876f4826f3c9/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1994}, editor = {Bowen, Jonathan P. and Hall, J. Anthony}, ee = {https://www.wikidata.org/entity/Q56940248}, interhash = {db992fa8e8d0137584edfe7bd2e5b8d0}, intrahash = {cd82964a78244614d5c9876f4826f3c9}, isbn = {3-540-19884-9}, keywords = {dblp}, pages = {141-167}, publisher = {Springer/BCS}, series = {Workshops in Computing}, timestamp = {2019-09-17T12:43:11.000+0200}, title = {Z and HOL.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#BowenG94}, year = 1994 }