Supporting Verification-Driven Incremental Distributed Design of Components.

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
January 2018
Type
Conference paper
Publication
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018