@inproceedings{PTFM-FM14, author = {Nadia Polikarpova and Julian Tschannen and Carlo A. Furia and Bertrand Meyer}, title = {Flexible Invariants Through Semantic Collaboration}, booktitle={FM 2014: Formal Methods}, publisher = {Springer}, series={Lecture Notes in Computer Science}, year = {2014}, volume={8442}, pages={514-530} urltopdf = {/people/polikarpova/publications/fm14.pdf}, }