%0 Conference Paper %1 conf/zum/Bowen92a %A Bowen, Jonathan P. %B Z User Workshop %D 1992 %E Bowen, Jonathan P. %E Nicholls, J. E. %I Springer %K Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation %P 342-347 %T Comp.specification.z and Z FORUM Frequently Asked Questions. %U http://dblp.uni-trier.de/db/conf/zum/zum1992.html#Bowen92a %@ 3-540-19818-0

@inproceedings{conf/zum/Bowen92a, added-at = {2011-08-02T00:39:34.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/287fa4d77fec4a93f3804e19b14c86358/jpbowen}, booktitle = {Z User Workshop}, crossref = {conf/zum/1992}, description = {dblp}, editor = {Bowen, Jonathan P. and Nicholls, J. E.}, interhash = {f2d19d6cf48e6c79b9b0620540981cca}, intrahash = {87fa4d77fec4a93f3804e19b14c86358}, isbn = {3-540-19818-0}, keywords = {Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation}, pages = {342-347}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2011-08-02T00:39:34.000+0200}, title = {Comp.specification.z and Z FORUM Frequently Asked Questions.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1992.html#Bowen92a}, year = 1992 }