Formally reasoning about quality
- Shaull Almagor
- , Udi Boker
- , Orna Kupferman
Research output: Contribution to journal › Article › peer-review
61
Scopus
citations