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 proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	International Conference on Formal Engineering Methods
Pages	266-285
Number of pages	20
State	Published - 2009

OpenUrl availability

@inproceedings{85f0f0e4490346148ab295ea575ba55f,

title = "Development of security software: A high assurance methodology",

author = "David Hardin and Hiratzka, {T Douglas} and Johnson, {D Randolph} and Wagner, {Lucas G.} and Michael Whalen",

year = "2009",

language = "Undefined/Unknown",

pages = "266--285",

booktitle = "International Conference on Formal Engineering Methods",

}