18 citations · 31 across the 4 of their papers we have counts for
1 paper · 1 filter
David Cock
This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we demonstrate close integration with existing automation support. We demonstrate the facili…