@Inproceedings{EPTCS208.4, author = {Sokolsky, Oleg and Zhang, Teng and Lee, Insup and McDougall, Michael}, year = {2016}, title = {Monitoring Assumptions in Assume-Guarantee Contracts}, 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 = {46-53}, doi = {10.4204/EPTCS.208.4}, }