HODER Krystof について
Univ. Manchester について
KOVACS Laura について
TU Vienna について
VORONKOV Andrei について
Univ. Manchester について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
証明 について
抽出 について
定理 について
プログラム検証 について
推論 について
健全性 について
局所性 について
変換 について
充足可能性問題 について
SMTソルバ について
最小化 について
静的解析 について
補間 について
論理代数 について
計算機システム開発 について
証明 について
灰色 について
演技 について