MSc: Objectification of Formal Specifications

Objectification of Formal Specifications

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