Daniel Sebastian Goc

Orcid: 0000-0002-2347-8037

According to our database¹, Daniel Sebastian Goc authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2023

Template-Based Conjecturing for Automated Induction in Isabelle/HOL.

[DOI]

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Property-Based Conjecturing for Automated Induction in Isabelle/HOL.

[DOI]

CoRR, 2022