その他のタイトル2011 1st international workshop on software certification : (WoSoCER 2011) : Hiroshima, Japan : 29 November-2 December 2011.
一般注記Papers.
Described as "(...) WoSoCER 2011 : Proceedings : 29 November-1 December 2011 : Hiroshima, Japan" -- added t.p.
Held in conjunction with the 22nd International Symposium on Software Reliability Engineering (ISSRE 2011).
IEEE cat no CFP11WOS-PRT.
書誌注記Includes bibliographical references and author index.