@inproceedings{Dastani10programs-aamas,
  author        = {M. Dastani and W. Jamroga},
  title         = {Reasoning about Strategies of Multi-Agent Programs},
  booktitle     = {Proceedings of {AAMAS2010}},
  pages         = {625--632},
  year          = {2010}
}