@Inproceedings{EPTCS208.5,
  author    = {Vella, Annalizz and Francalanza, Adrian},
  year      = {2016},
  title     = {Preliminary Results Towards Contract Monitorability},
  editor    = {Aceto, Luca and Francalanza, Adrian and Ingolfsdottir, Anna},
  booktitle = {{\rm Proceedings First Workshop on}
               Pre- and Post-Deployment Verification Techniques,
               {\rm Reykjav\'ik, Iceland, 4th June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {208},
  publisher = {Open Publishing Association},
  pages     = {54-63},
  doi       = {10.4204/EPTCS.208.5},
}