Full Contract Verification for ATL using Symbolic Execution

B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Full Contract Verification for ATL using Symbolic Execution";
Software and Systems Modeling,TBD(2016), TBD; S. 1 - 36.

[ Publication Database ]