Ivan Filippenko

According to our database, Ivan Filippenko authored at least 2 papers in 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Domains for Logic Programming.

Ivan Filippenko, F. Lockwood Morris

Theor. Comput. Sci., 1992

Using the State Delta Verification System (SDVS) for Hardware Verification.

Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas

Proceedings of the Theorem Provers in Circuit Design, 1992