Logic and Formal Methods Group

Informatics Department      School of Engineering      University of Minho