![](/img/cover-not-exists.png)
Proving partial-correctness and invariance properties of transition-system models
Rusu, Vlad, Grimaud, Gilles, Hauspie, MichaëlVolume:
186
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2019.102342
Date:
February, 2020
File:
PDF, 534 KB
2020