ST /
STWinterMeeting2014Session5
Chair: Gerardo
| 09:00 | Reiner Hähnle(TU Darmstadt) | Fully Abstract Method Contracts |
| 09:30 | Nikita Frolov | A formalization of scheduling transformations |
| 10:00 | Laura Kovacs | GenPro: Generating and Proving Program Properties via Symbol Elimination |
| 10:10 | Johan Nordlander | Designing an end-user DSL for network management automation |