玉井哲雄
https://gyazo.com/7276236f5fcb87c4565f8816ebe74a72
プログラムの正当性証明入門(1)
1979年06月号
プログラムの正当性証明入門(2)
1979年07月号
ソフトウェア開発におけるプロトタイピング
1983年12月号
ソフトウェアのテスト技法① ソフトウェアのテストとは
1986年05月号
ソフトウェアのテスト技法⑦ 静的解析技術(1)
1986年11月号
ソフトウェアのテスト技法 ⑧ 静的解析技術(2)――データフロー解析
1986年12月号
国と個人の顔
1991年10月号
ソフトウェアの語源
2001年01月号