Formal Methods and Innovation Economy: Facing New Challenges. - Alexander K. Petrenko; Olga L. Petrenko (SEFM, 2008)

Formal Methods: for All or for Chosen? - Victor V. Kuliamin; Vitaliy A. Omelchenko; Olga L. Petrenko (CSEDU (2), 2009)