Project LOGOS at Case Western Reserve University
The descriptive title of Project LOGOS is <u>Computer-Aided Design and Certification of Computer Systems.</u> This account is based on unpublished papers presented at the Primary Seminar on Project LOGOS, 27-28 Octover 1971 at the University and on reports to the sponsor, The Advanced Research Projects Agency of the Department of Defense.