Teaching Activities

Master of Science in Ubiquitous Networking and Computing, Polytech'Nice Sophia Antipolis, France.

Verification and WComp Validation:

2010

	slides of the lecture
	TP

Ecole des Mines de Paris

Introduction to Synchronous Languages and Verification

2010
	slides of the lecture
	TP
2011
	slides of the lecture
	TP