Evgeniy Muravev

According to our database, Evgeniy Muravev authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Fun with Formal Methods for Better Education.

Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019