Integrating Topological Proofs with Model Checking to Instrument Iterative Design

von Menghi, Claudio
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)