Cited by 2kOpen Access
Chinese Academy of Tropical Agricultural Sciences
ORCID: 0000-0002-4066-7892Publishes on Software Testing and Debugging Techniques, Prostate Cancer Treatment and Research, Formal Methods in Verification. 232 papers and 10.4k citations.
Add your photo, update your bio, and get notified when your ranking changes.