Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Verification-Driven Engineering with Sphinx and KeYmaera X

  • Stefan Mitsch (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum22 Juni 2015
Ereignistitel2nd Workshop on Formal-IDE (co-located with FM 2015)
VeranstaltungstypKonferenz
OrtNorwegenAuf Karte anzeigen

Wissenschaftszweige

  • 102027 Web Engineering
  • 102 Informatik
  • 102015 Informationssysteme

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics