| |
| 1995 | ||
|---|---|---|
| 4 | Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson: The HOL-UNITY Verification System. TAPSOFT 1995: 795-796 | |
| 1994 | ||
| 3 | Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson: A Graphical Tool for Proving Unity Progress. TPHOLs 1994: 17-32 | |
| 1993 | ||
| 2 | Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson: Program Verification using HOL-UNITY. HUG 1993: 1-15 | |
| 1991 | ||
| 1 | Jimmi S. Pettersson: Comments on ``Always-True is not Invariant'': Assertional Reasoning About Invariance. Inf. Process. Lett. 40(5): 231-233 (1991) | |
| 1 | Flemming Andersen | [2] [3] [4] |
| 2 | Ulla Binau | [4] |
| 3 | Karsten Nyblad | [4] |
| 4 | Kim Dam Petersen | [2] [3] [4] |