About HIRAI YOICHI
About 東大 大学院情報理工学系研究科
About 日本ソフトウェア科学会大会講演論文集(CD-ROM)
About computer program
About distributed processing
About model checking
About program verification
About formal method
About debugging
About scheduling
About specification description
About 形式的証明
About 分散プログラム
About Computer system development
About Theory of computation
About 証明