情報処理推進機構技術本部ソフトウェア高信頼化センター／著 -- 情報処理推進機構 -- 2017.11 --

情報処理推進機構技術本部ソフトウェア高信頼化センター／監修 -- 情報処理推進機構 -- 2016.10 --

情報処理推進機構技術本部ソフトウェア高信頼化センター／監修 -- 情報処理推進機構 -- 2016.10 --

情報処理推進機構技術本部ソフトウェア高信頼化センター／監修 -- 情報処理推進機構 -- 2016.10 --

情報処理推進機構技術本部ソフトウェア高信頼化センター／監修 -- 情報処理推進機構 -- 2016.10 --

情報処理推進機構技術本部ソフトウェア高信頼化センター／監修 -- 情報処理推進機構 -- 2014.10 --

情報処理推進機構ソフトウェア・エンジニアリング・センター／監修 -- 情報処理推進機構 -- 2012.9 --

情報処理推進機構ソフトウェア・エンジニアリング・センター／編 -- オーム社 -- 2008.10 -- 007.63

情報処理推進機構ソフトウェア・エンジニアリング・センター／著・監修 -- 日経BP社 -- 2008.8 -- 007.63