Constructing Property-Oriented Models for Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jifeng He, Shengchao Qin, Adnan Sherif. Constructing Property-Oriented Models for Verification. In Steve Dunne, Bill Stoddart, editors, Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Volume 4010 of Lecture Notes in Computer Science, pages 85-100, Springer, 2006. [doi]

This author has not been identified. Look up 'Jifeng He' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Adnan Sherif' in Google

runs on WebDSL