Kim Dam Petersen

Publication Activity (10 Years)

Years Active: 1991-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)
Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
A Graphical Tool for Proving Unity Progress. TPHOLs (1994)
Kim Dam Petersen
Graph model of LAMBDA in Higher Order Logic. HUG (1993)
Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
Program Verification using HOL-UNITY. HUG (1993)
Flemming Andersen, Kim Dam Petersen
Recursive Boolean Functions in HOL. TPHOLs (1991)