EUROFORM Formal Methods for Correct System Design

Persons

Scientific Director

Duration

Start: 31.07.1993
End: 30.07.1995