Reviewer for 13th International Symposium on Automated Technology for Verification and Analysis (ATVA) (Event)

  • Stefan Mitsch (Reviewer)

Activity: Publication peer-review and editorial workPublication Peer-review

Period12 Oct 201515 Oct 2015
Event typeConference
LocationChinaShow on map

Fields of science

  • 102027 Web engineering
  • 102 Computer Sciences
  • 102015 Information systems

JKU Focus areas

  • Computation in Informatics and Mathematics