Univ. Washington, WA について
ANDERSON R J について
Univ. Washington, WA について
BEAME P について
Univ. Washington, WA について
BURNS S について
Intel Corp., OR について
MODUGNO F について
Univ. Pittsburgh, PA について
NOTKIN D について
Univ. Washington, WA について
REESE J D について
Safeware Engineering Corp., WA について
IEEE Transactions on Software Engineering について
プログラム検証 について
記号モデル検査 について
計算機システム開発 について
計算理論 について
航空交通管制・航法施設 について
大型 について
ソフトウェア仕様 について
モデル検査 について