Flexible Invariants through Semantic Collaboration.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer

Browse the full FM paper archive.