연구 분야: Verification
학회: Programming and Computer Software
This issue presents the results of the theoretical and applied researches conducted by the authors focused on the development and maintenance of complex software tools and systems at various stages of their life cycle.
| 발행 연도 | 2025년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Russia |
| 사이트 | Springer |
| 좋아요 수 | 0 |