The following pages link to (Q4804916):
Displayed 4 items.
- Producing explanations for rich logics (Q2024339) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)