Development of security software: A high assurance methodology

David Hardin, T Douglas Hiratzka, D Randolph Johnson, Lucas G. Wagner, Michael Whalen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations
Original languageUndefined/Unknown
Title of host publicationInternational Conference on Formal Engineering Methods
Pages266-285
Number of pages20
StatePublished - 2009

Cite this