Alexey Grinevich

Publication Activity (10 Years)

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

Publications

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference (2006)