The Weakest Prespecification II

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