Juan C. Bicarregui · 2 obras en el catálogoObrasProof in VDM1994IIntra-modular structuring in model-oriented specificationIntra-modular structuring in model-oriented specification
IIntra-modular structuring in model-oriented specificationIntra-modular structuring in model-oriented specification