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