An industrial-strength formal method

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Period1 Nov 2004
    Event title1st International Symposium On Leveraging Applications of Formal Methods, ISoLA 2004
    Event typeConference
    Conference number1
    LocationPaphos, Cyprus
    Degree of RecognitionInternational

    Keywords

    • METIS-222561