Jane Solomon

	1990
2		Benedetto L. DiVito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu: The Deductive Theory Manager: A Knowledge Based System for Formal Verification. IEEE Symposium on Security and Privacy 1990: 306-318
	1989
1		Cristi Garvey, Thomas H. Hinke, Nancy R. Jensen, Jane Solomon, Amy Wu: A Layered TCB Implementation versus the Hinke-Schaefer Approach. DBSec 1989: 151-165

Coauthor Index

1	Benedetto L. DiVito	[2]
2	Cristi Garvey	[1] [2]
3	Thomas H. Hinke	[1]
4	Nancy R. Jensen	[1]
5	D. Kwong	[2]
6	A. Murray	[2]
7	Amy Wu	[1] [2]