James Bang

Orcid: 0000-0001-9345-3479

According to our database¹, James Bang 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