Wolfram Pfeifer
Orcid: 0000-0002-9478-9641
According to our database1,
Wolfram Pfeifer
authored at least 6 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 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
Proceedings of the Formal Methods - 26th International Symposium, 2024
2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021