A Note on Compositional Refinement

Zwiers, J. (Speaker)

    Activity: Talk or presentationOral presentation

    Period10 Jan 1992
    Event title5th BCS-FACS Refinement Workshop
    Event typeConference

    Keywords

    • METIS-122772