| |
| 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 | |
| 1 | Flemming Andersen | [1] [3] [4] [5] |
| 2 | Ulla Binau | [5] |
| 3 | Karsten Nyblad | [5] |
| 4 | Jimmi S. Pettersson | [3] [4] [5] |