Podcast Software Testing: Korrektheit durch formale Methoden
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung, um die Korrektheit von Software nachzuweisen.
www.heise.de
Podcast Software Testing: Korrektheit durch formale Methoden
- News-Poster
- Geschlossen
Jetzt mitmachen!
Sie haben noch kein Benutzerkonto auf unserer Seite? Registrieren Sie sich kostenlos und nehmen Sie an unserer Community teil!