next up previous contents
Next: T-Logic Up: Survey of Courses per Previous: RAT   Contents

RML

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
ascg-01 Action Semantics and Compiler Generation Aarhus P.D. Mosses AS , Actress , RAT , RML
next up previous contents
Next: T-Logic Up: Survey of Courses per Previous: RAT   Contents
2004-11-04