%0 Conference Paper %1 conf/zum/Bowen98 %A Bowen, Jonathan P. %B ZUM %D 1998 %E Bowen, Jonathan P. %E Fett, Andreas %E Hinchey, Michael G. %I Springer %K Z bibliography formal methods myown notation %P 367-406 %T Select Z Bibliography. %U http://dblp.uni-trier.de/db/conf/zum/zum1998.html#Bowen98 %V 1493 %@ 3-540-65070-9

@inproceedings{conf/zum/Bowen98, added-at = {2011-08-02T00:53:08.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2880aa6b38f5f5a5952923a4397dcd1c5/jpbowen}, booktitle = {ZUM}, crossref = {conf/zum/1998}, description = {dblp}, editor = {Bowen, Jonathan P. and Fett, Andreas and Hinchey, Michael G.}, interhash = {84970235c02e4be50efed25e11565a52}, intrahash = {880aa6b38f5f5a5952923a4397dcd1c5}, isbn = {3-540-65070-9}, keywords = {Z bibliography formal methods myown notation}, pages = {367-406}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-02T00:53:08.000+0200}, title = {Select Z Bibliography.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1998.html#Bowen98}, volume = 1493, year = 1998 }