A Specification Method for Interactive Systems
Research output: Book/Report › Doctoral thesis › Collection of Articles
Details
| Original language | English |
|---|---|
| Place of Publication | Tampere |
| Publisher | Tampere University of Technology |
| Publication status | Published - 1995 |
| Publication type | G5 Doctoral dissertation (article) |