Вы здесь

Главная

Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф.

Связанные издания:

Обоб енный подход к аксиоматической семантике операторов над последовательными файлами
Проблемно-ориентированная система верификации программ