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