P. H. Palmquist

	1990
1		Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston: Specification and Verification of the ASOS Kernel. IEEE Symposium on Security and Privacy 1990: 61-75

Coauthor Index

1	E. R. Anderson	[1]
2	Benedetto L. DiVito	[1]
3	M. L. Johnston	[1]