Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
3 answers
88 views

How can I teach Functional Programming and Verification

I have been told to teach a Functional Programming and Verification course that specifies the following topics: Correctness of imperative programs Verification according to Floyd or Hoare ...
alper's user avatar
  • 23