Olga L. Petrenko

According to our database, Olga L. Petrenko authored at least 2 papers between 2008 and 2009.

Collaborative distances:

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

2009

Formal Methods: for All or for Chosen?

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008

Formal Methods and Innovation Economy: Facing New Challenges.

Alexander K. Petrenko, Olga L. Petrenko

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008