ZB 2000: Formal Specification and Development in Z and B

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King

Research output: Contribution to conference › Paper › peer-review

Original languageUndefined/Unknown
Publication statusPublished - 2000
EventFirst International Conference of B and Z Users - York, United Kingdom
Duration: 29 Aug 2000 → 2 Sept 2000

Conference

ConferenceFirst International Conference of B and Z Users
Country/TerritoryUnited Kingdom
CityYork
Period29/08/00 → 2/09/00

Cite this