![](/img/cover-not-exists.png)
Model checking education for software engineers in Japan
Nishihara, Hideaki, Shinozaki, Koichi, Hayamizu, Koji, Aoki, Toshiaki, Taguchi, Kenji, Kumeno, FumihiroVolume:
41
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/1595453.1595461
Date:
June, 2009
File:
PDF, 1.71 MB
english, 2009