Specification Enforcing Refinement for Convertibility Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler. Specification Enforcing Refinement for Convertibility Verification. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009. pages 148-157, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Partha S. Roop' in GoogleThis author has not been identified. Look up 'Alain Girault' in GoogleThis author has not been identified. Look up 'Roopak Sinha' in GoogleThis author has not been identified. Look up 'Gregor Goessler' in Google

runs on WebDSL