メンバー紹介 - Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki,Shinichi Honiden: Education Course of Practical Model Checking, in Proc. of the FirstInternational Workshop on Formal Methods Education and Training (FMET2008), 北九州国際会議場 (2008.10), pp.33-48.

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki,Shinichi Honiden: Education Course of Practical Model Checking, in Proc. of the FirstInternational Workshop on Formal Methods Education and Training (FMET2008), 北九州国際会議場 (2008.10), pp.33-48.