IMT Welcome Day 2010

April 7, 2010 //

My short talk at IMT Welcome Day 2010 about my research and teaching activities is available as pdf.

Tags graphs, imt, maude, model-checking, research, rewriting-logic, teaching

Categories education, research

no comments leave your own, follow the feed, or trackback

Leave a reply