[Zurück]

@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}
}