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) |