Model Checking Syllabi and Student Carreers.

Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia

Browse the full TACAS paper archive.