Model Checking: Verification or Debugging?

T.C. Ruys (Keynote speaker), Brinksma, H. (Keynote speaker)

Activity: Talk or presentationOral presentation

Period27 Jun 2000
Degree of RecognitionInternational

Keywords

  • METIS-120873