1 research outputs found

    Refactoring-Based Stepwise Refinement in Abstract System-Level Design

    No full text
    corecore