Logic and Formal Methods Group
Informatics Department
School of Engineering
University of Minho