Specification and Verification of Invariant Properties of Transition Systems
- Gaina, D.
- Tutu, I.
- Riesco, A.
ISSN: 1530-1362
ISBN: 9781728119700
Année de publication: 2018
Volumen: 2018-December
Pages: 99-108
Type: Communication dans un congrès
Actes de conférence:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC