Model-Based Testing for Verification Back-Ends

Activity: Talk or presentation › Contributed talk › unknown

Period18 Jun 2013
Event title7th International Conference on Tests & Proofs
Event typeConference
LocationHungaryShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics