Specification and Verification of Invariant Properties of Transition Systems. / Gaina, Daniel; Tutu, Ionut; Riesco, Adrian.

25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, 2019. p. 99-108.

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

E-pub ahead of print

Documents

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
CountryJapan
CityNara
Period4/12/187/12/18
Internet address
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31649316