@article{TUW-250452, author = {Oakes, Bentley James and Troya, Javier and Lucio, Levi and Wimmer, Manuel}, title = {Full Contract Verification for ATL using Symbolic Execution}, journal = {Software and Systems Modeling}, year = {2016}, volume = {TBD}, number = {TBD}, pages = {1--36}, url = {http://dx.doi.org/10.1007/s10270-016-0548-7}, doi = {10.1007/s10270-016-0548-7} }