Michael Ryabtsev

Publication Activity (10 Years)

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

Publications

Michael Ryabtsev, Ofer Strichman
Translation Validation: From Simulink to C. CAV (2009)