Directorios

Enlace: http://cs.math.ist.utl.pt/ccal.html

Descripción: IST. Instituto Superior Técnico. Departamento de Matemática
«Main interests: Combination of logics; Algebraic logic; Temporal logic specification and verification; Security; Concurrency and distribution.»
CLC. Center for Logic and Computation