|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Case Study in the Specification and Analysis of Design Alternatives for a User Interface |
Duke, David |
1999 |
11 | 2 |
p. 107-131 |
article |
|
| 2 | Analysing Cognitive Behaviour using LOTOS and Mexitl |
Bowman, Howard |
1999 |
11 | 2 |
p. 132-159 |
article |
|
| 3 | Formalising a Value-Passing Calculus in HOL |
Nesi, Monica |
1999 |
11 | 2 |
p. 160-199 |
article |
|
| 4 | Generalised folds for nested datatypes |
Bird, Richard |
1999 |
11 | 2 |
p. 200-222 |
article |
4 results found