EUROFORM Formal Methods for Correct System Design

Persons

Internal Leader

Scientific Director

Duration

Start: 31.07.1993
End: 30.07.1995