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.
@inproceedings{rusu:hal-01816798,
title = {Proving Partial-Correctness and Invariance Properties of Transition-System Models},
author = {Vlad Rusu and Gilles Grimaud and Michaël Hauspie},
year = {2018},
month = {Aug},
url = {https://hal.inria.fr/hal-01816798},
researchr = {https://researchr.org/publication/rusu%3Ahal-01816798},
cites = {0},
citedby = {0},
booktitle = {TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering},
address = {Guangzhou, China},
publisher = {IEEE Xplore},
}