PAYET Etienne について
LIM-IREMIA, Univ. de la Reunion, FRA について
SPOTO Fausto について
Dipartimento di Informatica, Universita di Verona, ITA について
Information and Software Technology について
プログラミング言語 について
プログラム解析 について
プログラム検証 について
抽象解釈 について
健全性 について
精度 について
ソフトウェア障害 について
検出 について
自動化 について
オペレーティングシステム について
Android について
静的解析 について
計算機システム開発 について
言語プロセッサ について
汎用プログラミング言語 について
Android について
静的解析 について