dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

ZB 2000: York, UK

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Lecture Notes in Computer Science 1878 Springer 2000, ISBN 3-540-67944-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Thu May 23 18:11:53 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page