The Weakest Prespecification, Part II

Fundamenta Informaticae · 1986 · 20 citations · 0 references