Project Description
DISCOR: Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Recerca
Investigador Principal: 
Jaume Agustí-Cullell
Entitat financera: 
TIC94-0847-C02-01
Data: 
19/05/1994 - 18/05/1997
»