%0 Conference Paper %1 conf/zum/Parker90 %A Parker, Colin %B Z User Workshop %D 1990 %E Nicholls, John E. %I Springer %K dblp %P 387-388 %T Z Tools Catalogue. %U http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Parker90 %@ 3-540-19672-2

@inproceedings{conf/zum/Parker90, added-at = {2003-02-25T00:00:00.000+0100}, author = {Parker, Colin}, biburl = {https://www.bibsonomy.org/bibtex/2000f4f8b1e81d850ef6ea863f6ef03e2/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1990}, editor = {Nicholls, John E.}, interhash = {861c0ee8395e3c65e91156eed6588864}, intrahash = {000f4f8b1e81d850ef6ea863f6ef03e2}, isbn = {3-540-19672-2}, keywords = {dblp}, pages = {387-388}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:32.000+0200}, title = {Z Tools Catalogue.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Parker90}, year = 1990 }