Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Mordan, Vitaliy Olegovich
https://www.mathnet.ru/eng/person129076
List of publications on Google Scholar
Publications in
Math-Net.Ru
Citations
2017
1.
V. O. Mordan, “Combination of static verification methods for checking requirements composition”,
Proceedings of ISP RAS
,
29
:3 (2017),
151–170
Organisations
Institute for System Programming, Russian Academy of Sciences
