 |
ComputingReviews.com
| |
Semantics-based program verifiers for all languages
Stefănescu A., Park D., Yuwen S., Li Y., Roşu G. OOPSLA 2016 (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Amsterdam, Netherlands, Nov 2-4, 2016)74-91,2016.Type:Proceedings |
|
|
| |
 |
 |
 |
| |
 |
Use your personal or institutional subscription to read the
fulltext of the article.
 |
 |
| |
 |
| |
|
|
|
|
|
|
|
|
