Diseño y análisis formal de sistemas de software
FADOSS
Kyushu University
Fukuoka, JapónKyushu University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2018
-
Specification and Verification of Invariant Properties of Transition Systems
Proceedings - Asia-Pacific Software Engineering Conference, APSEC