Pieter Van Gorp, Hans Schippers, Serge Demeyer, Dirk Janssens. Students can get excited about Formal Methods: a model-driven course on Petri-Nets, Metamodels and Graph Grammars. In The 3rd Educators' Symposium of the 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Symposium Proceedings. IT University of Göteberg, Department of Applied Information Technology, Göteborg, Sweden, 2007.
No references recorded for this publication.
No citations of this publication recorded.