Supporting Verification-Driven Incremental Distributed Design of Components.

Publication
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018