MOEBIUS Nina について
Univ. Augsburg, Augsburg, DEU について
STENZEL Kurt について
Univ. Augsburg, Augsburg, DEU について
REIF Wolfgang について
Univ. Augsburg, Augsburg, DEU について
Lecture Notes in Computer Science について
モデル について
手法 について
アプリケーション について
セキュリティ について
形式的検証 について