Lourenco Claudio Belo について
Huawei Research Centre, Cambridge, United Kingdom について
Pinto Jorge Sousa について
HASLab/INESC TEC & Universidade do Minho, Braga, Portugal について
Lecture Notes in Computer Science について
計算機プログラミング について
証明 について
量子化器 について
モデル について
不変量 について
抽象 について
プログラム検証 について
推論 について
ライブラリ【計算機】 について
分散システム について
計算機システム開発 について
DO について
調和 について
分散システム について
証明 について