米崎直樹
ソフトウェア発展と検証技術の未来
2000年12月号