Patrick Röper

According to our database1, Patrick Röper authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024


  Loading...