Showing results 35 to 36 of 36
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS | 2013 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:ACM SIGPLAN Notices | 2013 |