eCAADe 2010
Event name
eCAADe 2010
Start date
15-09-2010
End date
18-09-2010
Location
Zurich
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Wurzer, Gabriel ; Fioravanti, Antonio ; Loffreda, Gianluigi ; Trento, Armando | Function & Action: Verifying a functional program in a game-oriented environment | Konferenzbeitrag Inproceedings  | 2010 | |
| 2 | Grasl, Thomas ; Economou, Athanassios ; Hovestadt, Ludger | Palladian Graphs | Konferenzbeitrag Inproceedings | 2010 |