You are here

DISCOR

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