The B−Method

Bibliographic Details
Main Authors: Abrial, J, Lee, M, Neilson, D, Scharbach, P, Sørensen, I
Format: Conference item
Published: Springer−Verlag 1991