1 research outputs found

    Data abstraction and the correctness of modular programming

    Get PDF
    corecore