Towards the Automated Verification of Multithreaded Java Programs.

Giorgio Delzanno, Jean-Franois Raskin, Laurent Van Begin

Browse the full TACAS paper archive.