The Programatica Project
Integrating Programming, Properties and Validation
[Draft]
Intro
People
Papers
Talks
Tools
Links
Links
Cover - Combining Verification Methods in Software Development
House
Haskell
Thomas Hallgren
![[Certificate]](I/icon1.png)
Thomas Hallgren