Loading...

jStar-eclipse: an IDE for Automated Verification of Java Programs

44 views

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Sep 1, 2011

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore and Matthew J. Parkinson

Loading...

to add this to Watch Later

Add to

Loading playlists...