@inproceedings{Dastani09programs-eumas, author = {N. Bulling and W. Jamroga}, title = {Reasoning about Strategic Properties of Multi-Agent Programs}, booktitle = {Proceedings of {EUMAS2009}}, year = {2009} }