Mikhail Kovalev
According to our database1,
Mikhail Kovalev
authored at least 5 papers
between 2010 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Lecture Notes in Computer Science 9000, Springer, ISBN: 978-3-319-13906-7, 2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
2013
2012
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012
2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010