Opening book details…
About this Computer Science article
Secure and Trusted Partial Grey-box Verification by Cai, Yixian; Karakostas, George; Wassyng, Alan is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Cai, Yixian; Karakostas, George; Wassyng, Alan
- Publisher
- Springer-Verlag; Springer Verlag; Springer Science and Business Media LLC (ISSN 1615-5262)
- Published
- 2019
- Field
- Computer Science (Physical Sciences)
More by Cai, Yixian; Karakostas, George; Wassyng, Alan
Browse all works by Cai, Yixian; Karakostas, George; Wassyng, Alan