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

First Page	Meta 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

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