The Weakest Prespecification II

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