Rybalchenko, Andrey books & textbook
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, ... (Lecture Notes in Computer Science, 5675)
Frid, Anna Morozov, Andrei S. Rybalchenko, Andrey Wagner, Klaus W.
Springer /2009-07-28 Paperback / 382 Pages
isbn-10: 3642033504 / isbn-13: 9783642033506
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Cohen, Ernie Rybalchenko, Andrey
Springer /2014-01-23 Paperback / 361 Pages
isbn-10: 3642541070 / isbn-13: 9783642541070
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148)
Kuncak, Viktor Rybalchenko, Andrey
Springer /2012-01-12 Paperback / 467 Pages
isbn-10: 3642279392 / isbn-13: 9783642279393
