Karsten Nyblad

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson
The HOL-UNITY Verification System. TAPSOFT (1995)