Автор туралы ақпарат
Anureev, I. S.
| Шығарылым | Бөлім | Атауы | Файл |
| Том 53, № 7 (2019) | Article | Verification-Oriented Process Ontology | |
| Том 53, № 7 (2019) | Article | Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function |