Announcement_10

Congrats to Wen on his paper An Empirical Study of LLM-Generated Specifications for VeriFast (preprint) for being accepted for publication at ISSRE!