Kathleen Fisher
1PUBLICATIONS
0CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Sep 06, 2017
The HACMS program: using formal methods to eliminate exploitable bugs.Kathleen Fisher, John Launchbury, Raymond Richards
Pageof 1
