ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén, editors, ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Volume 2651 of Lecture Notes in Computer Science, Springer, 2003.

Conference: zum2003

This author has not been identified. Look up 'Didier Bert' in GoogleIdentified as Jonathan P. Bowen This author has not been identified. Look up 'Steve King' in GoogleThis author has not been identified. Look up 'Marina A. Waldén' in Google

runs on WebDSL