Translation-based co-verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi. Translation-based co-verification. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 111-120, IEEE, 2005. [doi]

This author has not been identified. Look up 'Fei Xie' in GoogleThis author has not been identified. Look up 'Xiaoyu Song' in GoogleThis author has not been identified. Look up 'Haera Chung' in GoogleThis author has not been identified. Look up 'Ranajoy Nandi' in Google

runs on WebDSL