%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
}