Dag Diesen

Publication Activity (10 Years)

Years Active: 1988-1998
Publications (10 Years): 0

Publications

Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen
Developing New ASM-tools. Workshop on Abstract State Machines (1998)
Dag Diesen
Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. SCAI (1988)