Betts Adam について
Department of Computing, Imperial College London, London, United Kingdom について
Chong Nathan について
Department of Computing, Imperial College London, London, United Kingdom について
Deligiannis Pantazis について
Department of Computing, Imperial College London, London, United Kingdom について
Donaldson Alastair F. について
Department of Computing, Imperial College London, London, United Kingdom について
Ketema Jeroen について
Department of Computing, Imperial College London, London, United Kingdom について
IEEE Transactions on Software Engineering について
予測 について
音響 について
近似法 について
Candida について
分析機器 について
不変量 について
プログラム検証 について
不変性 について
高速化 について
ベンチマーク について
プログラム解析 について
普遍性 について
Windows について
Linux について
静的解析 について
計算機システム開発 について
不変 について
実装 について
評価 について