Original language | Undefined/Unknown |
---|---|
Publisher | The University of Minnesota |
State | Published - 2000 |
Representing the unknown in specification languages
Research output: Working paper
Research output: Working paper
Original language | Undefined/Unknown |
---|---|
Publisher | The University of Minnesota |
State | Published - 2000 |