Inproceedings,
The Formal Specification in Z of Defence Standard 00-56.
J. Woodcock, P. Gardiner, and J. Hulance.Z User Workshop, page 9-28. Springer/BCS, (1994)
Meta data
- BibTeX key
- conf/zum/WoodcockGH94
- entry type
- inproceedings
- booktitle
- Z User Workshop
- year
- 1994
- pages
- 9-28
- publisher
- Springer/BCS
- series
- Workshops in Computing
- crossref
- conf/zum/1994
- ee
- https://doi.org/10.1007/978-1-4471-3452-7_2
- isbn
- 3-540-19884-9
- url
- http://dblp.uni-trier.de/db/conf/zum/zum1994.html#WoodcockGH94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/zum/WoodcockGH94
%A Woodcock, Jim
%A Gardiner, Paul H. B.
%A Hulance, J. R.
%B Z User Workshop
%D 1994
%E Bowen, Jonathan P.
%E Hall, J. Anthony
%I Springer/BCS
%K dblp
%P 9-28
%T The Formal Specification in Z of Defence Standard 00-56.
%U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#WoodcockGH94
%@ 3-540-19884-9
@inproceedings{conf/zum/WoodcockGH94,
added-at = {2023-02-17T00:00:00.000+0100},
author = {Woodcock, Jim and Gardiner, Paul H. B. and Hulance, J. R.},
biburl = {https://www.bibsonomy.org/bibtex/2606e18d04202ec649b8d91c0314b8e31/dblp},
booktitle = {Z User Workshop},
crossref = {conf/zum/1994},
editor = {Bowen, Jonathan P. and Hall, J. Anthony},
ee = {https://doi.org/10.1007/978-1-4471-3452-7_2},
interhash = {53a1f906b51e1ad19a57bbb975e18d2e},
intrahash = {606e18d04202ec649b8d91c0314b8e31},
isbn = {3-540-19884-9},
keywords = {dblp},
pages = {9-28},
publisher = {Springer/BCS},
series = {Workshops in Computing},
timestamp = {2024-04-10T04:44:07.000+0200},
title = {The Formal Specification in Z of Defence Standard 00-56.},
url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#WoodcockGH94},
year = 1994
}