Alin Stefanescu: Slides for PhD defense
Slides for a talk on UML Semantics in Nuremberg in 2005
Slides for ACSD'05 conference
Slides for a talk on UML Semantics in Genoa in 2006
Slides for a talk on search-based testing for Event-B models