Back to Results
First PageMeta Content



Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T
Add to Reading List

Document Date: 2010-04-26 17:16:00

Open Document

File Size: 258,20 KB

Share Result on Facebook
UPDATE