The Weakest Prespecification

Opis bibliograficzny
Główni autorzy: Hoare, C, He, J
Format: Journal article
Wydane: 1987