ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Kyushu University
Fukuoka, JapónPublications en collaboration avec des chercheurs de Kyushu University (1)
2018
-
Specification and Verification of Invariant Properties of Transition Systems
Proceedings - Asia-Pacific Software Engineering Conference, APSEC