Mauro Gargano

	2005
1		Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16

Coauthor Index

1	Mark A. Hillebrand	[1]
2	Dirk Leinenbach	[1]
3	Wolfgang J. Paul	[1]