Jimmi S. Pettersson

	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)

Coauthor Index

1	Flemming Andersen	[2] [3] [4]
2	Ulla Binau	[4]
3	Karsten Nyblad	[4]
4	Kim Dam Petersen	[2] [3] [4]