Publications

(2005). Camila Revival: VDM meets Haskell. In Overture Workshop 2005.

PDF Slides