haskell for imperative programmers 41 formal verification using isabelle

Name: haskell for imperative programmers 41 formal verification using isabelle
Uploaded: Jan 31, 2021
Description: haskell for imperative programmers 41 formal verification using isabelle