Guards, Preconditions, and Refinement in Z - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph Miarka, Eerke Boiten, John Derrick. Guards, Preconditions, and Refinement in Z. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, editors, ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Volume 1878 of Lecture Notes in Computer Science, pages 286-303, Springer, 2000. [doi]

This author has not been identified. Look up 'Ralph Miarka' in GoogleIdentified as Eerke Boiten This author has not been identified. Look up 'John Derrick' in Google

runs on WebDSL