GOGOLLA Martin について
Univ. Bremen, Bremen について
HAMANN Lars について
Univ. Bremen, Bremen について
KUHLMANN Mirco について
Univ. Bremen, Bremen について
Lecture Notes in Computer Science について
自動生成 について
試験 について
オブジェクト について
制約 について
言語 について
不変 について
証明 について
可視化 について