FM07 -- Multi-paradigm specification

 
Number of courses selected: 1  

Ref	Y/S	Module	Institution	Contact	Topics/Langs/Tools
IFM-CA	MSc 1-2	Formal Methods Integration	Nantes	J.C. Attiogbé	B , CCS , CSP , MPS , PA