×
Eventil - Find Tech Events
Official mobile app
FREE - In Google Play
View
×
Eventil
Official mobile app
FREE - In App Store
View
Video not available
Add video
Slides not available
Add slides

StaRVOOrS: A framework for static and runtime verification of data and control properties

StaRVOOrS: A framework for static and runtime verification of data and control properties

Topics
ECOOP Rome 2016

The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. Come celebrate the 30th edition in Rome, Italy, on July 1...