%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 }