About GABRIELIAN A
About Hughes Aircraft Co., CA
About MCNAMEE L P
About Univ. California
About TRAWICK D J
About Speech Systems Inc., CA
About IEEE Transactions on Software Engineering
About software engineering
About symbolic execution
About Computer system development
About ふるまい
About 解析
About 定性
About 関数