%0 Journal Article %1 journals/sosym/OakesTLW18 %A Oakes, Bentley James %A Troya, Javier %A Lúcio, Levi %A Wimmer, Manuel %D 2018 %J Softw. Syst. Model. %K dblp %N 3 %P 815-849 %T Full contract verification for ATL using symbolic execution. %U http://dblp.uni-trier.de/db/journals/sosym/sosym17.html#OakesTLW18 %V 17

@article{journals/sosym/OakesTLW18, added-at = {2020-12-29T00:00:00.000+0100}, author = {Oakes, Bentley James and Troya, Javier and Lúcio, Levi and Wimmer, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/29944c607dc6acac57810e78206b28ae4/dblp}, ee = {https://www.wikidata.org/entity/Q57647725}, interhash = {229a6ac3b3290e8586e4390b3af99790}, intrahash = {9944c607dc6acac57810e78206b28ae4}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 3, pages = {815-849}, timestamp = {2024-04-08T12:54:37.000+0200}, title = {Full contract verification for ATL using symbolic execution.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym17.html#OakesTLW18}, volume = 17, year = 2018 }