Auflistung nach Autor "Podelski, Andreas"
Anzeige der Dokumente 1-3 von 3
-
Automatische Validierung von Anforderungen
Post, Amalinda; Podelski, Andreas
-
Shape-based barrier estimation for RNAs
Bogomolov, Sergiy; Mann, Martin; Voß, Björn; Podelski, Andreas; Backofen, Rolf
41-50 -
System testing and program verification
Arlt, Stephan; Arenis, Sergio Feo; Podelski, Andreas; Wehrle, Martin
71-72