| Original language | Undefined/Unknown |
|---|---|
| Publisher | The University of Minnesota |
| State | Published - 2005 |
Trustworthy Translation for the Requirements State Machine Language without Events I
Research output: Book/Report › Commissioned report
Research output: Book/Report › Commissioned report
| Original language | Undefined/Unknown |
|---|---|
| Publisher | The University of Minnesota |
| State | Published - 2005 |