Back to Results
First PageMeta Content



StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java? Jes´ us Mauricio Chimento1 , Wolfgang Ahrendt1 , Gordon J. Pace2 , and Gerardo Schneider3
Add to Reading List

Document Date: 2015-09-23 08:29:44

Open Document

File Size: 462,58 KB

Share Result on Facebook
UPDATE