2 research outputs found

    VDM in three generations of Ada formal descriptions

    No full text
    corecore