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, CyprusShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-222561