(email)
By Prof. Dines Bjorner, Technical, University of Denmark
By João Paulo, HASLab /INESC TEC and University of Minho
By Francisco Maia, HASLab /INESC TEC and University of Minho
By Jorge Mendes, HASLab /INESC TEC and University of Minho
By Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil