Ivan Filippenko

	1992
2		Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360
1		Ivan Filippenko, F. L. Morris: Domains for Logic Programming. Theor. Comput. Sci. 94(1): 63-99 (1992)

Coauthor Index

1	Beth Levy	[2]
2	Leo Marcus	[2]
3	Telis Menas	[2]
4	F. L. Morris	[1]

Colors in the list of coauthors