An Overview of Formal Methods in System Engineering

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: La Plata, Buenos Aires, Argentina
    Period13 Jul 1998
    Event titleVoordracht Seminar UNLP
    Event typeConference
    LocationLa Plata, Buenos Aires, Argentina

    Keywords

    • METIS-121492