Formal Verification of Protocol Properties of Sequential Java Programs.

Ying Jin

Browse the full COMPSAC paper archive.