CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs

Northeastern University, Boston MA

Investigators