Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Logic for Prompt Lazy Assertions in Haskell -- Ivor, a Proof Engine -- Proving Program Properties...”