Integrating Model Checking and Topological Proofs to Instrument Iterative Design

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
January 2020
Type
Conference paper
Publication
Fundamental Approaches to Software Engineering (FASE)