Specification and Verification of Invariant Properties of Transition Systems

Daniel Gaina, Ionut Tutu, Adrian Riesco

Research output: Chapter in Book/Report/Conference proceedingConference contribution

67 Downloads (Pure)
Original languageEnglish
Title of host publication25th Asia-Pacific Software Engineering Conference
Subtitle of host publication4-7 December 2018, Nara, Japan
PublisherIEEE
Pages99-108
Number of pages10
ISBN (Electronic)978-1-7281-1970-0
DOIs
Publication statusE-pub ahead of print - 23 May 2019
Event25th Asia-Pacific Software Engineering Conference - Nara, Japan
Duration: 4 Dec 20187 Dec 2018
Conference number: 25
http://www.apsec2018.org/

Conference

Conference25th Asia-Pacific Software Engineering Conference
Abbreviated titleAPSEC 2018
Country/TerritoryJapan
CityNara
Period4/12/187/12/18
Internet address

Cite this