Specification-based verification and validation of web services and service-oriented operating systems
- Yinong Chen
- , Ray Paul
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
31
Link opens in a new tab
Scopus
citations