%0 Conference Paper %1 conf/zum/Bowen92 %A Bowen, Jonathan P. %B Z User Workshop %D 1992 %E Bowen, Jonathan P. %E Nicholls, J. E. %I Springer %K Z bibliography formal methods myown notation %P 309-341 %T Select Z Bibliography. %U http://dblp.uni-trier.de/db/conf/zum/zum1992.html#Bowen92 %@ 3-540-19818-0

@inproceedings{conf/zum/Bowen92, added-at = {2011-08-02T00:40:10.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/207eb78d36a21fa442b61bf49e410b8e7/jpbowen}, booktitle = {Z User Workshop}, crossref = {conf/zum/1992}, description = {dblp}, editor = {Bowen, Jonathan P. and Nicholls, J. E.}, interhash = {8258f88973935603268bcb5f206b7b66}, intrahash = {07eb78d36a21fa442b61bf49e410b8e7}, isbn = {3-540-19818-0}, keywords = {Z bibliography formal methods myown notation}, pages = {309-341}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2011-08-02T00:40:10.000+0200}, title = {Select Z Bibliography.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1992.html#Bowen92}, year = 1992 }