%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 Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation %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 = {2011-08-02T00:52:25.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/26f9e8088e67dfe90ce1997d279048593/jpbowen}, booktitle = {ZUM}, crossref = {conf/zum/1997}, description = {dblp}, editor = {Bowen, Jonathan P. and Hinchey, Michael G. and Till, David}, interhash = {5b2b0b28a45f9d94a0adbedd321cc71d}, intrahash = {6f9e8088e67dfe90ce1997d279048593}, isbn = {3-540-62717-0}, keywords = {Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation}, pages = {425-433}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-02T00:52:25.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 }