The following pages link to (Q3838801):
Displaying 4 items.
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- The emergence of reasons conjecture. (Q1427348) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- Advances in Artificial Intelligence (Q5463846) (← links)