Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
Sprache
3 Treffer
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.archives-ouvertes.fr/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff: