| Инд. авторы: | Ковалев С.П. |
| Заглавие: | Применение формальных методов для обеспечения качества вычислительных систем |
| Библ. ссылка: | Ковалев С.П. Применение формальных методов для обеспечения качества вычислительных систем // Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. - 2004. - Т.4. - № 2. - С.54-61. - ISSN 1818-7897. |
| Издано: | 2004 |
| Физ. характеристика: | с.54-61 |