211
Voted
ECLIPSE
2004
ACM
16 years 13 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...