メンバー紹介 - Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden: Evolution of a course on model checking for practical applications, ACM SIGCSE Bulletin, Volume 41, Issue 2, pp.38-44 (2009.6)

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden: Evolution of a course on model checking for practical applications, ACM SIGCSE Bulletin, Volume 41, Issue 2, pp.38-44 (2009.6)