Directorios

Enlace: http://www.di.uminho.pt/~jno/

Descripción: Universidade do Minho. Departamento de Informática
«Interest Areas: Formal methods; Formal (Reverse) Specification and Program Understanding; Refinement Calculi and (Relational) Algebra of Programming; Functional Programming & Rapid Prototyping»