Michael Slavkin

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Alon Itai, Michael Slavkin
Detecting Data Structures from Traces. AAIP (2007)
Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret
A Methodology for the Verification of a "System on Chip". DAC (1999)