![](/img/cover-not-exists.png)
Evolution of a course on model checking for practical applications
Tahara, Yasuyuki, Yoshioka, Nobukazu, Taguchi, Kenji, Aoki, Toshiaki, Honiden, ShinichiVolume:
41
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/1595453.1595460
Date:
June, 2009
File:
PDF, 403 KB
english, 2009