IT-Nachwuchs: Passauer Team holt Gesamtsieg bei internationalem Verifikationswettbewerb
Gesamtsieg plus zwei Einzelsiege – so lautet die Erfolgsbilanz, mit der die Verifikationsforscher der Universität Passau von der International Competition on Software Verification zurückgekommen sind. Darüber hinaus erreichten
