Context
University of Rennes 1 in 2013 for MSc students (research oriented)
Instructors: Mathieu Acher and Jean-Marc Jézéquel
Location of the material
Description of the material
A set of slides used for courses No lab sessions but some instructions for quizz, homework (including open problems) are available