Tools for System Validation with B Abstract Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael J. Butler, Michael Leuschel, Colin F. Snook. Tools for System Validation with B Abstract Machines. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. pages 57-69, 2005. [doi]

This author has not been identified. Look up 'Michael J. Butler' in GoogleIdentified as Michael Leuschel This author has not been identified. Look up 'Colin F. Snook' in Google

runs on WebDSL