BECKERT Bernhard について
Karlsruhe Inst. Technol.(KIT), DEU について
BORMER Thorsten について
Karlsruhe Inst. Technol.(KIT), DEU について
MERZ Florian について
Karlsruhe Inst. Technol.(KIT), DEU について
SINZ Carsten について
Karlsruhe Inst. Technol.(KIT), DEU について
Lecture Notes in Computer Science について
有界 について
モデル検査 について
演繹 について
検証 について
統合 について