Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
C32SAT: Checking C Expressions
Robert Brummayer (Vortragende*r)
Institut für Formale Modelle und Verifikation
Aktivität
:
Vortrag oder Präsentation
›
Vortrag nach Bewerbung und Auswahl
›
unbekannt
Zeitraum
06 Juli 2007
Ereignistitel
CAV'07, Berlin
Veranstaltungstyp
Konferenz
Ort
Deutschland
Auf Karte anzeigen
Wissenschaftszweige
102 Informatik