Amanote Research
Register
Sign In
Let's Verify Linux
doi 10.1145/2889160.2889192
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Suresh Kothari
Ahmed Tamrawi
Jeremías Sauceda
Jon Mathews
Publisher
ACM Press
Related search
Linux
Verify Your Runs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Let's Challenge!
Yuki Gosei Kagaku Kyokaishi/Journal of Synthetic Organic Chemistry
Organic Chemistry
Linux Driver Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linux en Router Inalámbricos Linksys [Linux in Wireless Router Linksys]
Ventana Informatica
Let's Hear It
Waikato Journal of Education
Education
Let's Get Critical
Evidence-Based Dentistry
Dentistry
Linux Kernel Vulnerabilities
Let's Think Operationally
BMJ
