Andrei Paskevich, Thomas Wies. Verified Software: Theories, Tools, and Experiments, Revised Selected Papers Presented at the 9th International Conference VSTTE.
VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany.
Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017,
⟨10.1007/978-3-319-72308-2⟩.
⟨hal-01670145⟩