Helping Young Students Reach Valid Decision Through Model Checking
| Title | Helping Young Students Reach Valid Decision Through Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Partsakoulakis I, Vouros G |
| Conference Name | 3rd Hellenic Conference on Technology of Information and Communication in Education |
| Date Published | 00/2002 |
| Conference Location | Rhodes, Greece |
