conf.researchr.org / Bernard Blackham
Not registered as user yet
Name:Bernard Blackham
Contributions
| SPLASH 2013 | Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track |
Not registered as user yet
Contributions
| SPLASH 2013 | Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track |