128
click to vote
ECLIPSE
2004
ACM
15 years 8 months 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...