Patrick Röper

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

Collaborative distances:

Timeline

2024
0
1
2
1

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...