Program Verification for Exception Handling on Active Objects Using Futures.

Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen

Browse the full SEFM paper archive.