The following pages link to (Q4174207):
Displayed 5 items.
- On the total correctness of nondeterministic programs (Q1143163) (← links)
- Relational Semantics Revisited (Q2810687) (← links)
- Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671) (← links)
- (Q3883458) (← links)
- Proof tactics for a theory of state machines in a graphical environment (Q5234719) (← links)