conf.researchr.org / Ricardo Massa Lima
Not registered as user yet
Name: Ricardo Massa Lima
Contributions
| SPLASH 2013 | Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track |
Not registered as user yet
Name: Ricardo Massa Lima
Contributions
| SPLASH 2013 | Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track |