Seventh IEEE International Symposium on High Assurance Systems Engineering. [proceedings] : 23-25 October, 2002, Tokyo, Japan

MLA

IEEE Xplore (Online service), IEEE Computer Society. and IEICE Technical Group on DC. Seventh IEEE International Symposium on High Assurance Systems Engineering. [proceedings] : 23-25 October, 2002, Tokyo, Japan. Los Alamitos, Calif. : IEEE Computer Society, 2002.

APA

IEEE Xplore (Online service), IEEE Computer Society. & IEICE Technical Group on DC. (2002). Seventh IEEE International Symposium on High Assurance Systems Engineering. [proceedings] : 23-25 October, 2002, Tokyo, Japan. Los Alamitos, Calif. : IEEE Computer Society.

Chicago

IEEE Xplore (Online service), IEEE Computer Society. and IEICE Technical Group on DC. Seventh IEEE International Symposium on High Assurance Systems Engineering. [proceedings] : 23-25 October, 2002, Tokyo, Japan. Los Alamitos, Calif. : IEEE Computer Society, 2002.