Статья "Первые шаги к решению проблемы верификации програм..."
| Наименование статьи | Первые шаги к решению проблемы верификации программ |
|---|---|
| Страницы | 36 |
| Аннотация | Исследователи в области программной инженерии объединяются для создания технологии верификации, которая заметно увеличит производительность и надежность разработки, интеграции и обслуживания программного обеспечения. |
| Журнал | Открытые системы СУБД |
| Номер выпуска | 8 |
| Автор(ы) | Вудкок Д. |