Project Description
DISCOR: Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Research
Main Researcher: 
Jaume Agustí-Cullell
Funding Entity: 
TIC94-0847-C02-01
Date: 
19/05/1994 - 18/05/1997
»