A formal approach to requirements-based programming
- Michael G. Hinchey
- , James L. Rash
- , Christopher A. Rouff
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review