Vadim S. Mutilin
发表
Vadim S. Mutilin,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Alexander K. Petrenko,
Evgeny Novikov,
Alexey V. Khoroshilov,
2015,
Programming and Computer Software.
Vadim S. Mutilin,
2009,
Programming and Computer Software.
Alexander K. Petrenko,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2014
.
Alexandre Petrenko,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2009,
Ershov Memorial Conference.
Sven Apel,
Dirk Beyer,
Vadim S. Mutilin,
2016,
SIGSOFT FSE.
Vadim S. Mutilin,
Pavel Andrianov,
2019,
FISEE.
Vadim S. Mutilin,
Vitaly O. Mordan,
2015,
Ershov Memorial Conference.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Shved,
2012,
TACAS.
Evgeny Novikov,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2014,
Ershov Memorial Conference.
Alexey V. Khoroshilov,
Vadim S. Mutilin,
Ilja S. Zakharov,
2015,
Programming and Computer Software.
Vadim S. Mutilin,
Karlheinz Friedberger,
Mikhail U. Mandrykin,
2017,
TACAS.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Shved,
2012,
Programming and Computer Software.
Evgeny Novikov,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2011,
Ershov Memorial Conference.
Evgeny Novikov,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2012,
Programming and Computer Software.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Andrianov,
2018,
TACAS.
Vadim S. Mutilin,
Vitaly O. Mordan,
2016,
Programming and Computer Software.
Alexey V. Khoroshilov,
Vadim S. Mutilin,
Pavel S. Andrianov,
2021,
TACAS.