Objectification of Formal Specifications
- Presentation in the 1st PURe Workshop at U.Minho, after defending my MSc Thesis.