Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Frappier, Uwe GlÃ¤sser, Sarfraz Khurshid, RÃ©gine Laleau, Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Volume 5977 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: asm2010

This author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Uwe GlÃ¤sser' in GoogleThis author has not been identified. Look up 'Sarfraz Khurshid' in GoogleThis author has not been identified. Look up 'RÃ©gine Laleau' in GoogleIdentified as Steve Reeves

runs on WebDSL