%0 Conference Paper %1 conf/zum/Bowen97a %A Bowen, Jonathan P. %B ZUM %D 1997 %E Bowen, Jonathan P. %E Hinchey, Michael G. %E Till, David %I Springer %K dblp %P 425-433 %T Comp.specification.z and Z FORUM Frequently Asked Questions. %U http://dblp.uni-trier.de/db/conf/zum/zum1997.html#Bowen97a %V 1212 %@ 3-540-62717-0

@inproceedings{conf/zum/Bowen97a, added-at = {2018-11-30T00:00:00.000+0100}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/26f9e8088e67dfe90ce1997d279048593/dblp}, booktitle = {ZUM}, crossref = {conf/zum/1997}, editor = {Bowen, Jonathan P. and Hinchey, Michael G. and Till, David}, ee = {https://www.wikidata.org/entity/Q56940092}, interhash = {5b2b0b28a45f9d94a0adbedd321cc71d}, intrahash = {6f9e8088e67dfe90ce1997d279048593}, isbn = {3-540-62717-0}, keywords = {dblp}, pages = {425-433}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:07:26.000+0200}, title = {Comp.specification.z and Z FORUM Frequently Asked Questions.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1997.html#Bowen97a}, volume = 1212, year = 1997 }