Z2SAL - Building a Model Checker for Z - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Derrick, Siobhán North, Anthony J. H. Simons. Z2SAL - Building a Model Checker for Z. In Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Volume 5238 of Lecture Notes in Computer Science, pages 280-293, Springer, 2008. [doi]

This author has not been identified. Look up 'John Derrick' in GoogleThis author has not been identified. Look up 'Siobhán North' in GoogleThis author has not been identified. Look up 'Anthony J. H. Simons' in Google

runs on WebDSL