Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel #softwaretesting #podcast #mathematik

Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel #softwaretesting #podcast #mathematik
Share:


Similar Tracks