Kim Dam Petersen

	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

Coauthor Index

1	Flemming Andersen	[1] [3] [4] [5]
2	Ulla Binau	[5]
3	Karsten Nyblad	[5]
4	Jimmi S. Pettersson	[3] [4] [5]