| 1995 |
|---|
| 5 | | Flemming Andersen,
Ulla Binau,
Karsten Nyblad,
Kim Dam Petersen,
Jimmi S. Pettersson:
The HOL-UNITY Verification System.
TAPSOFT 1995: 795-796 |
| 1994 |
|---|
| 4 | | Flemming Andersen,
Kim Dam Petersen,
Jimmi S. Pettersson:
A Graphical Tool for Proving Unity Progress.
TPHOLs 1994: 17-32 |
| 1993 |
|---|
| 3 | | Flemming Andersen,
Kim Dam Petersen,
Jimmi S. Pettersson:
Program Verification using HOL-UNITY.
HUG 1993: 1-15 |
| 2 | | Kim Dam Petersen:
Graph model of LAMBDA in Higher Order Logic.
HUG 1993: 16-28 |
| 1991 |
|---|
| 1 | | Flemming Andersen,
Kim Dam Petersen:
Recursive Boolean Functions in HOL.
TPHOLs 1991: 367-377 |
