Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Pirkelbauer
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Peter Pirkelbauer
Affiliation:
Lawrence Livermore National Laboratory
Contributions
2025
Mining Software Repositories
Author of FormalSpecCpp: A Dataset of C++ Formal Specifications Created Using LLMs within the Data and Tool Showcase Track-track
Share
x
Wed 19 Mar 15:18
