Vladimir Itsykson Russian Federation, Saint Petersburg Academic degree Candidate of Engineering Academic title Associate Professor Research area program verification and static analysis program transformations Affiliation & position Peter the Great Saint-Petersburg Polytechnic University — head of the department of Computer Systems & Software Engineering E-mail vlad@icc.spbstu.ru
Itsykson V. The formalism for semantics specification of software libraries // System Informatics. — 2016. — # 8. — P. 43-52
Aleksyuk A., Itsykson V. Automated Semantics-Driven Source Code Migration: a Pilot Prototype // System Informatics. — 2017. — # 10. — P. 67-76
