next up previous contents
Next: Prolog Up: Survey of Courses per Previous: Irish VDM   Contents

LOTOS

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
CO861 MSc Formal Methods Kent H. Bowman CADP , LOTOS , MC , OZ
4 Software Engineering Lisbon R.G. Crespo LOTOS , Z
next up previous contents
Next: Prolog Up: Survey of Courses per Previous: Irish VDM   Contents
2004-11-04