Auflistung nach Autor "Moy, Yannick"
Anzeige der Dokumente 1-2 von 2
-
Hi-Lite - Verification by Contract
Kanig, Johannes; Guitton, Jérôme; Moy, Yannick
-
Integration von Formaler Verifikation und Test
Comar, Cyrille; Kanig, Johannes; Moy, Yannick
133-148