dblp.uni-trier.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 BibTeX

Copyright © Sat May 16 23:48:57 2009 by Michael Ley (ley@uni-trier.de)