Alessandro Maria Rizzi

Latest

• Integrating Model Checking and Topological Proofs to Instrument Iterative Design
• Integrating Topological Proofs with Model Checking to Instrument Iterative Design