Mordvinov Dmitry A.

Work place: St. Petersburg State University (SPbSU), Saint Petersburg, 199034, Russian Federation
Post: Associate Professor
Degree: PhD (Physics & Mathematics), Associate Professor
E-mail: mordvinov.dmitry@gmail.com
Scopus ID: 57199323753
ORCID: 0000-0002-6437-3020
Misonizhnik A. V., Kostyukov Y. O., Kostitsyn M. P., Mordvinov D. A., Koznov D. V.
Generation of the weakest preconditions of programs with dynamic memory in symbolic execution

The article was published in issue 5, volume 22, 2022
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика