| Original language | American English |
|---|---|
| State | Published - Sep 20 1999 |
| Event | FM'99: World Congress on Formal Methods - Toulouse, France Duration: Sep 20 1999 → … |
Conference
| Conference | FM'99: World Congress on Formal Methods |
|---|---|
| Period | 9/20/99 → … |
Disciplines
- Computer Sciences