next up previous contents
Next: CWB Up: Survey of Courses per Previous: ZTC   Contents

Atelier-B

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
5/ MSc Specification and Formal Verification in B Bordeaux G.Sutre ARef , AtelierB , B , Btlk , PV
MSF-CA MSc Model-Oriented Formal Methods Nantes J.C. Attiogbé AtelierB , B , Z , ZANS , ZEVES , ZTC

next up previous contents
Next: CWB Up: Survey of Courses per Previous: ZTC   Contents
2004-11-04