##article.return##
Specification-Guided Vulnerability Detection with Large Language Models
Download
Download PDF