Software Verification Witnesses Thoroughness.
Saved in:
| Title: | Software Verification Witnesses Thoroughness. |
|---|---|
| Authors: | Mordan, V. O.1, mordan@ispras.ru, Mutilin, V. S.1,2, mutilin@ispras.ru |
| Source: | Programming & Computer Software; Feb2026, Vol. 52 Issue 1, p39-49, 11p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03617688 |
|---|---|
| DOI: | 10.1134/S0361768826700052 |