Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}