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, 2018.

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

Forthcoming

Documents

Original languageEnglish
Title of host publication25th Asia-Pacific Software Engineering Conference
Subtitle of host publication4-7 December 2018, Nara, Japan
PublisherIEEE
StateAccepted/In press - 5 Sep 2018
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