Auflistung nach Autor "Ammann, Christian"
Anzeige der Dokumente 1-4 von 4
-
Formal Verication of Web Applications
Ammann, Christian
10-11 -
From business modeling to verified applications
Ammann, Christian; Kleuker, Stephan; Pulvermüller, Elke
312-312