NAFZ Florian について
Univ. Augsburg, Augsburg, DEU について
SEEBACH Hella について
Univ. Augsburg, Augsburg, DEU について
STEGHOEFER Jan-Philipp について
Univ. Augsburg, Augsburg, DEU について
BAEUMLER Simon について
Univ. Augsburg, Augsburg, DEU について
REIF Wolfgang について
Univ. Augsburg, Augsburg, DEU について
Lecture Notes in Computer Science について
計算システム について
組成 について
検証 について
形式 について
フレームワーク について