Ferraiuolo Andrew について
Cornell University, Ithaca, NY 14850, USA について
Weizhe Hua について
Cornell University, Ithaca, NY 14850, USA について
Myers Andrew C. について
Cornell University, Ithaca, NY 14850, USA について
Suh G. Edward について
Cornell University, Ithaca, NY 14850, USA について
IEEE Conference Proceedings について
変異 について
安全性 について
ハードウェア について
ハードウェア設計 について
ハードウェア記述言語 について
セキュリティ について
多重化 について
実用性 について
機能性 について
細粒度 について
型システム について
情報フロー について
応用プログラミング言語 について
変異 について
依存型 について
情報フロー について
検証 について