acm - an acm publication

Articles

Cybersecurity skeptics now embracing formal methods
an interview with Gernot Heiser and Jim Morris

Ubiquity, Volume 2017 Issue May, May 2017 | BY Ted G. Lewis 


Full citation in the ACM Digital Library  | PDF


Connection Failure

COMMENTS

POST A COMMENT
Leave this field empty