Irina Vladimirovna Shoshmina Russian Federation, Saint-Petersburg Academic degree Candidate of Engineering Research area program verification distributed systems Affiliation & position Peter the Great Saint-Petersburg Polytechnic University — senior lecturer E-mail ishoshmina@dcn.icc.spbstu.ru
Shoshmina I. Developing formal temporal requirements to distributed program systems // System Informatics. — 2016. — # 8. — P. 21-32
