Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi. Design Improvement of System Administrative Operations for Certification. In Roberto Pietrantuono, Nuno Silva, editors, 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 31-36, IEEE Computer Society, 2011. [doi]