Using Formal Methods to Serialize Synchronization Events.

Jessica Chen

Browse the full ICFEM paper archive.