Inproceedings,
The Use of Z.
R. Barden, S. Stepney, and D. Cooper.Z User Workshop, page 99-124. Springer, (1991)
Meta data
- BibTeX key
- conf/zum/BardenSC91
- entry type
- inproceedings
- booktitle
- Z User Workshop
- year
- 1991
- pages
- 99-124
- publisher
- Springer
- series
- Workshops in Computing
- crossref
- conf/zum/1991
- isbn
- 3-540-19780-X
- url
- http://dblp.uni-trier.de/db/conf/zum/zum1991.html#BardenSC91
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/zum/BardenSC91
%A Barden, Rosalind
%A Stepney, Susan
%A Cooper, David
%B Z User Workshop
%D 1991
%E Nicholls, John E.
%I Springer
%K dblp
%P 99-124
%T The Use of Z.
%U http://dblp.uni-trier.de/db/conf/zum/zum1991.html#BardenSC91
%@ 3-540-19780-X
@inproceedings{conf/zum/BardenSC91,
added-at = {2003-02-21T00:00:00.000+0100},
author = {Barden, Rosalind and Stepney, Susan and Cooper, David},
biburl = {https://www.bibsonomy.org/bibtex/21002b35ff16f39da8868f8e7bd67f3eb/dblp},
booktitle = {Z User Workshop},
crossref = {conf/zum/1991},
editor = {Nicholls, John E.},
interhash = {234f844c65f04e71cfd615c0dac97a46},
intrahash = {1002b35ff16f39da8868f8e7bd67f3eb},
isbn = {3-540-19780-X},
keywords = {dblp},
pages = {99-124},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2019-06-22T11:38:26.000+0200},
title = {The Use of Z.},
url = {http://dblp.uni-trier.de/db/conf/zum/zum1991.html#BardenSC91},
year = 1991
}