1 research outputs found

    Methodological aspects of an approach for verification of object-oriented programs

    No full text
    corecore