Allowing state changes in specifications
- Mike Barnett
- , David A. Naumann
- , Wolfram Schulte
- , Qi Sun
- Microsoft USA
- Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7
Scopus
citations