Helping Young Students Reach Valid Decision Through Model Checking

TitleHelping Young Students Reach Valid Decision Through Model Checking
Publication TypeConference Paper
Year of Publication2002
AuthorsPartsakoulakis I, Vouros G
Conference Name3rd Hellenic Conference on Technology of Information and Communication in Education
Conference LocationRhodes, Greece