The Weakest Prespecification II

מידע ביבליוגרפי
Main Authors: Hoare, C, He, J
פורמט: Journal article
יצא לאור: 1986

פריטים דומים