Просмотр собрания по группе - Тема verification of the software development process
Результаты 1 по 1 из 1
| Дата выпуска | Название | Автор(ы) |
|---|---|---|
| 2008 | Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения | Ивашко, А. Г.; Григорьев, Μ. В.; Ivashko, A. G.; Grigorev, Μ. V. |