Supporting Verification-Driven Incremental Distributed Design of Components.

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi

Browse the full FASE paper archive.