On Formalism in Specifications (0)

by MEYER
Venue:IEEE Softwa.re