Flexible Invariants Through Semantic Collaboration? Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer Department of Computer Science, ETH Zurich, Switzerland Abstract

First Page		Document Content
Date: 2016-01-20 16:21:19		Flexible Invariants Through Semantic Collaboration? Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer Department of Computer Science, ETH Zurich, Switzerland Abstract Add to Reading List Source URL: people.csail.mit.edu Download Document from Source Website File Size: 331,35 KB Share Document on Facebook