Olga L. Petrenko

Publication Activity (10 Years)

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

Publications

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko
Formal Methods: for All or for Chosen? CSEDU (2) (2009)
Alexander K. Petrenko, Olga L. Petrenko
Formal Methods and Innovation Economy: Facing New Challenges. SEFM (2008)