An industrial-strength formal method

H. Hermanns (Speaker)

Activity: Talk or presentationOral presentation

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

Keywords

  • METIS-222561