DISCOR
: Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
No publications uploaded yet
Jaume Agustí-Cullell
Research Professor
Research Professor