Esteu aquí

DISCOR

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