Research & Publications

鵜飼 孝典

富士通で研究しています。形式的仕様記述、ソフトウェアプロセス、並列分散プログラミングなどに関心があります。