| 1998 | ||
|---|---|---|
| 2 | Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen: Developing New ASM-tools. Workshop on Abstract State Machines 1998: 155-158 | |
| 1988 | ||
| 1 | Dag Diesen: Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. SCAI 1988: 13-21 | |
| 1 | Trond Ove Svendsen | [2] |
| 2 | Bjørn Thorstensen | [2] |