Relational calculus

Showing results in 'Announcements'. Show all posts

PhD thesis defended

November 1, 2014

I've successfully defended my PhD thesis at the University of Minho.

Paper accepted at RAMiCS

June 20, 2012

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).