Inproceedings,
The Development of Z.
S. Brien.Semantics of Specification Languages, page 1-14. Springer, (1993)
Meta data
- BibTeX key
- conf/sosl/Brien93
- entry type
- inproceedings
- booktitle
- Semantics of Specification Languages
- year
- 1993
- pages
- 1-14
- publisher
- Springer
- series
- Workshops in Computing
- crossref
- conf/sosl/1993
- ee
- https://doi.org/10.1007/978-1-4471-3229-5_1
- isbn
- 3-540-19854-7
- url
- http://dblp.uni-trier.de/db/conf/sosl/sosl1993.html#Brien93
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sosl/Brien93
%A Brien, Stephen
%B Semantics of Specification Languages
%D 1993
%E Andrews, D. J.
%E Groote, Jan Friso
%E Middelburg, Cornelis A.
%I Springer
%K dblp
%P 1-14
%T The Development of Z.
%U http://dblp.uni-trier.de/db/conf/sosl/sosl1993.html#Brien93
%@ 3-540-19854-7
@inproceedings{conf/sosl/Brien93,
added-at = {2019-06-24T00:00:00.000+0200},
author = {Brien, Stephen},
biburl = {https://www.bibsonomy.org/bibtex/22343c01cd85f97d88d8ffe8fc3b43f3f/dblp},
booktitle = {Semantics of Specification Languages},
crossref = {conf/sosl/1993},
editor = {Andrews, D. J. and Groote, Jan Friso and Middelburg, Cornelis A.},
ee = {https://doi.org/10.1007/978-1-4471-3229-5_1},
interhash = {bac799f7dd7484852f727643fc041c94},
intrahash = {2343c01cd85f97d88d8ffe8fc3b43f3f},
isbn = {3-540-19854-7},
keywords = {dblp},
pages = {1-14},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2019-12-03T11:41:02.000+0100},
title = {The Development of Z.},
url = {http://dblp.uni-trier.de/db/conf/sosl/sosl1993.html#Brien93},
year = 1993
}