Generating Verified Java Components through RESOLVE.

Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman

Browse the full ICSR paper archive.