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 |