Probabilistic generalization of formal concepts E. E. VityaevA. V. DeminD. K. Ponomaryov OriginalPaper 21 September 2012 Pages: 219 - 230
Higher-level supercompilation as a metasystem transition I. G. KlyuchnikovS. A. Romanenko OriginalPaper 21 September 2012 Pages: 231 - 244
Using linux device drivers for static verification tools benchmarking M. U. MandrykinV. S. MutilinP. E. Shved OriginalPaper 21 September 2012 Pages: 245 - 256
Backward compatibility of software interfaces: Steps towards automatic verification A. PonomarenkoV. Rubanov OriginalPaper 21 September 2012 Pages: 257 - 267
Model-based testing of internet e-mail protocols N. V. PakulinA. N. TugaenkoV. Z. Shnitman OriginalPaper 21 September 2012 Pages: 268 - 275
The use of hardware virtualization in the context of information security D. V. Silakov OriginalPaper 21 September 2012 Pages: 276 - 280