|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
И. В. Гладышев, А. С. Камкин, А. М. Коцыняк, П. А. Путро, А. В. Хорошилов, “Архитектура системы дедуктивной верификации машинного кода”, Труды ИСП РАН, 32:3 (2020), 7–19 |
|
2019 |
2. |
P. A. Putro, “Applying high-level function loop invariants for machine code deductive verification”, Труды ИСП РАН, 31:3 (2019), 123–134 |
1
|
|
2018 |
3. |
P. A. Putro, “Combining ACSL specifications and machine code”, Труды ИСП РАН, 30:4 (2018), 95–106 |
|