Usted está aquí

DISCOR

Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Mayo 1994 - Mayo 1997
Investigador principal
Project description
Data not available.