Logic Gallery

Home
Members(current)
Projects
Publications

Projects

FACTOR - Functional ApproaCh Teaching pOrtuguese couRses
ReleaseLab - RELiablE And SEcure Computation Group

Department of Computer Science and Engineering at the University of Beira Interior
Department of Informatics at the NOVA School of Science and Technology
NOVA Laboratory of Computer Science and Informatics