Funktion: Andreas Bollin: Mitglied des Programmkomitees - FormaliSE: FME Workshop on Formal Methods in Software Engineering
Stammdaten
| Funktionstyp: | Funktion bei Konferenz/Tagung |
| Person: | Andreas Bollin (Mitglied des Programmkomitees) |
| Zeitraum: | 22.01.2016 - 19.02.2016 |
| Konferenz: |
FormaliSE: FME Workshop on Formal Methods in Software Engineering
FormaliSE: FME Workshop on Formal Methods in Software Engineering
Austin, Texas
,
Vereinigte St. v. Amerika
|
| Fokus: | Science to Science |
| Sichtbarkeit: | Internet |
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatikdidaktik
|
AT - A-9020 Klagenfurt |