V-FORMAT Verifying System Designs Using Formal Methods

Personen

Laufzeit

Start: 01.01.1997
Ende: 30.09.1999