IIntra-modular structuring in model-oriented specificationIntra-modular structuring in model-oriented specificationde Juan C. BicarreguiEdiciones (1)Intra-modular structuring in model-oriented specification (1995)University of Manchester · inglésMás obras de Juan C. BicarreguiProof in VDM1994Ver todas las obras de Juan C. Bicarregui →
