Richard Kemmerer

Digital Library

ACM Fellows

USA - 1997

citation

For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering.