Biblio Export 1 results: RTF EndNote XML Filters: Author is John D. McLean [Clear All Filters]8Heitmeyer, Constance L., Myla M. Archer, Elizabeth I. Leonard, and John D. McLean. "Applying Formal Methods to a Certifiably Secure Software System." IEEE Transactions on Software Engineering 34, no. 1 (8): 82-97.DOI Google Scholar RTF EndNote XML