ST /

STWinterMeeting2014Session1

Formal Methods Session

Chair: Wolfgang

09:30Moa JohanssonTheory Exploration
09:45Evgenii KotelnikovInductive Reasoning in Fist-Order Theories
10:00Mauricio ChimentoUnified Static and Run-time Verification of object-oriented Software
10:15Raúl Pardo JiménezPrivacy in Social Networks