Specification and Verification of Invariant Properties of Transition Systems
- Gaina, D.
- Tutu, I.
- Riesco, A.
ISSN: 1530-1362
ISBN: 9781728119700
Año de publicación: 2018
Volumen: 2018-December
Páginas: 99-108
Tipo: Aportación congreso
Actas:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC