Auflistung nach Autor "Huch, Frank"
Anzeige der Dokumente 1-2 von 2
-
5. Arbeitstagung Programmiersprachen (ATPS 2012)
Huch, Frank; Voigtländer, Janis
195-195 -
Model checking Erlang programs – LTL-propositions and abstract interpretation
Huch, Frank
438-448