ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Kyushu University
Fukuoka, JapónPublikationen in Zusammenarbeit mit Forschern von Kyushu University (1)
2018
-
Specification and Verification of Invariant Properties of Transition Systems
Proceedings - Asia-Pacific Software Engineering Conference, APSEC