%0 Conference Paper %1 conf/zum/Bowen90b %A Bowen, Jonathan P. %B Z User Workshop %D 1990 %E Nicholls, J. E. %I Springer %K Computing Group Laboratory Oxford PRG Programming Research University Z archive formal methods myown notation server %P 379-379 %T PRG Archive Server. %U http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Bowen90b %@ 3-540-19672-2

@inproceedings{conf/zum/Bowen90b, added-at = {2011-08-02T00:38:25.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/29281326a02bc4dd1a7a0a96c5ce9fec9/jpbowen}, booktitle = {Z User Workshop}, crossref = {conf/zum/1990}, description = {dblp}, editor = {Nicholls, J. E.}, interhash = {f1e517ef340c9c3a2940c446e3ad2769}, intrahash = {9281326a02bc4dd1a7a0a96c5ce9fec9}, isbn = {3-540-19672-2}, keywords = {Computing Group Laboratory Oxford PRG Programming Research University Z archive formal methods myown notation server}, pages = {379-379}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2011-08-02T00:38:25.000+0200}, title = {PRG Archive Server.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Bowen90b}, year = 1990 }