Short animal names. June 29 Declaration. IEEE transactions on dependable and secure computing ieee xplore. 神奈川 県 アスベスト 届出.