Directorios

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

Descripción: IST. Instituto Superior Técnico. Departamento de Matemática
«Main interests: Specification and verification of concurrent reactive systems; Temporal logic; Situation calculus; Combination of logics.»
CLC. The Center for Logic and Computation