%0 Conference Paper %1 conf/zum/Bowen94a %A Bowen, Jonathan P. %B Z User Workshop %D 1994 %K Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation %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

@inproceedings{conf/zum/Bowen94a, added-at = {2011-08-02T00:47:59.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2e2199f3d19adeb0c7b33d1670452bc08/jpbowen}, booktitle = {Z User Workshop}, description = {dblp}, interhash = {bd5f81bc013b1f0f1be781b1f16aa47a}, intrahash = {e2199f3d19adeb0c7b33d1670452bc08}, keywords = {Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation}, pages = {397-403}, timestamp = {2011-08-02T00:47:59.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 }