An introduction to formal program verification

An introduction to formal program verification

Библиографические подробности
Главный автор: Mili, Ali
Формат: ‌
Язык:English
Опубликовано: New York Van Nostrand Reinhold c1985.
Предметы:
Computer programs > Verification.