• Sign in
  • Sign up
conf.researchr.org / Ricardo Massa Lima
  • SPLASH 2013 profile

Not registered as user yet

Name: Ricardo Massa Lima

Contributions

SPLASH 2013Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track

Share
xSun 15 Dec 02:01
using conf.researchr.org (v1.21.5)
Support page
Sign Up