Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
2011
TO
2011
Type
Text
3
Format
application/pdf
3
Collection
UScholar Works
3
Filters:
Publisher:
"Association for Computing Machinery"
1
-
25
of
3
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
1
A practical logic framework for verifying safety properties of executables
2011-01-01
Text
2
ARMor: fully verified software fault isolation
2011-01-01
Text
3
Finding and understanding bugs in C compilers
2011-01-01
Text
1
-
25
of
3