Program transformation and action refinement in a partial order framework

W.P.M. Janssen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Mook
    Period1 Nov 1991
    Event titleWorkshop Fault-Tolerance Project: null
    Event typeConference
    LocationMook

    Keywords

    • METIS-123575