Proving Partial-Correctness and Invariance Properties of Transition-System Models

Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. IEEE Xplore, Guangzhou, China, Aug 2018.

Authors

Rusu, Vlad

Identified as Vlad Rusu

Gilles Grimaud

This author has not been identified. Look up 'Gilles Grimaud' in Google

Michaël Hauspie

This author has not been identified. Look up 'Michaël Hauspie' in Google