CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
- Paul C Attie(PI)
- Northeastern University,
Grant:
Research project
Project status
Finished
Project Information
Project Type
Research project