Program verification and testing technologies
- Tiziana Margaria
- , Zongyan Qiu
- , Hongli Yang
- University of Potsdam
- Peking University
- Beijing University of Technology
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review