Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Han Wang
conf.researchr.org general profile
Internetware 2026 profile
Not registered as user
Name:
Han Wang
Affiliation:
Nanjing University
Contributions
2026
Internetware
Author of ACSLAgent: Generation and Synthesis of Formal Specifications for C programs via LLM-based Agent within the New Idea-track
Share
x
Mon 21 Sep 16:17