Proving Partial-Correctness and Invariance Properties of Transition-System Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 60-67, IEEE, 2018. [doi]

This author has not been identified. It may be one of the following persons:

Vlad Rusu

Look up 'Vlad Rusu' in GoogleThis author has not been identified. Look up 'Gilles Grimaud' in GoogleThis author has not been identified. Look up 'Michaël Hauspie' in Google

runs on WebDSL