Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.

Rafael Ramrez, Andrew E. Santosa

Browse the full ICECCS paper archive.