The following pages link to Gudmund Grov (Q656857):
Displayed 10 items.
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)
- A Graphical Language for Proof Strategies (Q2870138) (← links)
- An Essence of SSReflect (Q2907323) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Proof automation for functional correctness in separation logic (Q5739977) (← links)