ABZ 2008 Conference

Venue: London

Location: London, United Kingdom

Event Date/Time: Sep 16, 2008 End Date/Time: Sep 18, 2008
Paper Submission Date: Mar 03, 2008
Report as Spam


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.