Programm transformation and action refinement in a partial order framework

W.P.M. Janssen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Eindhoven
    Period29 Oct 1991
    Event titleInteruniversitair Colloquium over Logica en Informatica: null
    Event typeConference
    LocationEindhoven

    Keywords

    • METIS-123577