Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
MSR
/
Paper
FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs.
Madhurima Chakraborty
,
Peter Pirkelbauer
,
Qing Yi
Venue
A
MSR
Year
2025
Proceedings
MSR
DBLP record
conf/msr/ChakrabortyPY25 ↗
Browse the full
MSR paper archive
.