(1 - 17 from 19
)
SSV '10
www.usenix.org
Gerwin Klein, NICTA and University of New South Wales, Australia Bastian Schlich, ABB Corporate Research, Germany. Program Committee Adam Chlipala, Harvard University, USA
Making software safer | Homeland Security Newswire
www.homelandsecuritynewswire.com
More and more security systems in aircraft and motor vehicles rely on software for their ... NICTA principal researcher Dr. Gerwin Klein, who leads NICTA's formal verification ...
sorted by relevance / date