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

First Page		Document Content
Date: 2015-09-23 08:29:44		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 Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 462,58 KB Share Document on Facebook