[Certificate]

The Programatica Project
Integrating Programming, Properties and Validation

[Draft]
Intro People Papers Talks Tools Links

Introduction

The goals of the Programatica project are to

The Programatica approach to achieving these goals is to The key components used are

[TODO: say something about Osker and House]

Valid HTML 4.01 Transitional
Thomas Hallgren