%0 Conference Paper %1 conf/zum/Bowen90 %A Bowen, Jonathan P. %B Z User Workshop %D 1990 %E Nicholls, J. E. %I Springer %K Z bibliography formal methods myown notation %P 353-373 %T Selected Z Bibliography. %U http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Bowen90 %@ 3-540-19672-2

@inproceedings{conf/zum/Bowen90, added-at = {2011-08-02T00:37:16.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/27ce0df681f43983d5cf7a98d27b185e2/jpbowen}, booktitle = {Z User Workshop}, crossref = {conf/zum/1990}, description = {dblp}, editor = {Nicholls, J. E.}, interhash = {ef05ffe04cb2a144339a915a04912ded}, intrahash = {7ce0df681f43983d5cf7a98d27b185e2}, isbn = {3-540-19672-2}, keywords = {Z bibliography formal methods myown notation}, pages = {353-373}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2011-08-02T00:37:16.000+0200}, title = {Selected Z Bibliography.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Bowen90}, year = 1990 }