Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings | 16 | 2.02 | 2004 |
| Support for teaching formal methods | 8 | 0.74 | 2001 |
| Introducing formal methods through role-playing | 9 | 0.68 | 1995 |