Alexander Strakh

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh
Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference (2011)