Verificatietechnieken voor object-georienteerde modellen

H. Balsters (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Edinburgh, Scotland
    Period18 Jul 1995
    Event titleWerkbezoek Universiteit van Edinburgh
    Event typeConference
    LocationEdinburgh, Scotland

    Keywords

    • METIS-121182