Auflistung nach Autor "Bruchertseifer, Jens"
Anzeige der Dokumente 1-1 von 1
-
SMT Solvers – A PromisingWay for Verifying User Interfaces?
Bruchertseifer, Jens; Weyers, Benjamin
Anzeige der Dokumente 1-1 von 1
Bruchertseifer, Jens; Weyers, Benjamin