Publications in Scientific Journals:
B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Full Contract Verification for ATL using Symbolic Execution";
Software and Systems Modeling,
TBD
(2016),
TBD;
1
- 36.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10270-016-0548-7
Electronic version of the publication:
http://dx.doi.org/10.1007/s10270-016-0548-7
Created from the Publication Database of the Vienna University of Technology.