Feeds ⇒ Podcast Software Testing: Korrektheit durch formale Methoden

[sxteam_bot]

In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung, um die Korrektheit von Software nachzuweisen.

Source: https://www.heise.de/blog/Podcast-Softw ... ag.beitrag