Research output: Contribution to journal › Article › peer-review
| Translated title of the contribution | VEHA-2023 FORMAL VERIFICATION CONTEST: : THE EXPERIENCE |
|---|---|
| Original language | Russian |
| Pages (from-to) | 141-168 |
| Number of pages | 28 |
| Journal | Труды Института системного программирования РАН |
| Volume | 36 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 2024 |
ID: 61366886