pGCL for Isabelle

David Cock. pGCL for Isabelle. Archive of Formal Proofs, 2014, 2014. [doi]

Authors

David Cock

This author has not been identified. Look up 'David Cock' in Google