Publications in Scientific Journals:
B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Full Contract Verification for ATL using Symbolic Execution";
Software and Systems Modeling,
"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.