|
ABZ 2008 Conference
Conference in-person 16th to 18th September 2008 London, United Kingdom Website: http://www.abz2008.org/ Contact person: Jonathan Bowen Abstract State Machines (ASM), B-Method and Z notation are three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. Organized by: BCS-FACS Deadline for abstracts/proposals: 3rd March 2008 Check the event website for more details. View all events from this organizer.
|
