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)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.