Skip to main navigation Skip to search Skip to main content

Verification-Driven Engineering with Sphinx and KeYmaera X

  • Stefan Mitsch (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period22 Jun 2015
Event title2nd Workshop on Formal-IDE (co-located with FM 2015)
Event typeConference
LocationNorwayShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics