Specification and Verification of Invariant Properties of Transition Systems
- Gaina, D.
- Tutu, I.
- Riesco, A.
ISSN: 1530-1362
ISBN: 9781728119700
Year of publication: 2018
Volume: 2018-December
Pages: 99-108
Type: Conference paper
Proceedings:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC