Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Proceedings
%1 .2002c
%C London and UK
%D 2002
%I Springer-Verlag
%K Informatik
%T ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
@proceedings{.2002c,
added-at = {2013-10-18T15:43:04.000+0200},
address = {London and UK},
biburl = {https://www.bibsonomy.org/bibtex/2060e88a29edc134a343f2f383b52275a/hlackner},
interhash = {3f73593b4ee94f50906d6661a43d7a34},
intrahash = {060e88a29edc134a343f2f383b52275a},
keywords = {Informatik},
publisher = {Springer-Verlag},
timestamp = {2013-10-18T15:43:04.000+0200},
title = {ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B},
year = 2002
}