Henrik Leerberg

	2000
1		Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)

Coauthor Index

1	Henrik Reif Andersen	[1]
2	Gerd Behrmann	[1]
3	Henrik Hulgaard	[1]
4	Kåre J. Kristoffersen	[1]
5	Kim Guldstrand Larsen	[1]
6	Jørn Lind-Nielsen	[1]
7	Arne Skou	[1]
8	Jørgen Staunstrup	[1]
9	Niels Bo Theilgaard	[1]