Ivan Filippenko

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Ivan Filippenko, F. Lockwood Morris
Domains for Logic Programming. Theor. Comput. Sci. 94 (1) (1992)
Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD (1992)