The Weakest Prespecification II

Библиографические подробности
Главные авторы: Hoare, C, He, J
Формат: Journal article
Опубликовано: 1986