Koznov Dmitry V.

Work place: Saint Petersburg State University, Saint Petersburg, 199034, Russian Federation
Post: Associate Professor
Degree: D. Sc., Professor
E-mail: dkoznov@yandex.ru
Scopus ID: 8885649400
ORCID: 0000-0003-2632-3193
Kudryavtsev D., Koznov D. V., Grigoryev L. TYPIFICATION TOOLS AND PRAGMATICS OF ORG-MASTER MODELING LANGUAGE
The article was published in issue 6, volume 13, 2013
Lutsiv D. V., Koznov D. V., Basit H. A., Ouh E. L., Smirnov M. N., Romanovsky K. Y. AN APPROACH FOR CLONE DETECTION IN DOCUMENTATION REUSE
The article was published in issue 4, volume 14, 2014
Moiseenko E. A., Gladstein V. P., Podkopaev A. V., Koznov D. V.
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models

The article was published in issue 3, volume 22, 2022
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.

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