ST /
STWinterMeeting2014Session1
Formal Methods Session
Chair: Wolfgang
09:30 | Moa Johansson | Theory Exploration |
09:45 | Evgenii Kotelnikov | Inductive Reasoning in Fist-Order Theories |
10:00 | Mauricio Chimento | Unified Static and Run-time Verification of object-oriented Software |
10:15 | Raúl Pardo Jiménez | Privacy in Social Networks |