%0 Conference Paper %1 conf/zum/Bowen94a %A Bowen, Jonathan P. %B Z User Workshop %D 1994 %E Bowen, Jonathan P. %E Hall, J. Anthony %I Springer/BCS %K dblp %P 397-403 %T Comp.specification.z and Z FORUM Frequently Asked Questions. %U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#Bowen94a %@ 3-540-19884-9

@inproceedings{conf/zum/Bowen94a, added-at = {2014-02-11T00:00:00.000+0100}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2cee260402f65db9d4308e0adba6d4e37/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1994}, editor = {Bowen, Jonathan P. and Hall, J. Anthony}, interhash = {bd5f81bc013b1f0f1be781b1f16aa47a}, intrahash = {cee260402f65db9d4308e0adba6d4e37}, isbn = {3-540-19884-9}, keywords = {dblp}, pages = {397-403}, publisher = {Springer/BCS}, series = {Workshops in Computing}, timestamp = {2017-05-20T01:59:55.000+0200}, title = {Comp.specification.z and Z FORUM Frequently Asked Questions.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#Bowen94a}, year = 1994 }