Henrique Botelho Guerra

According to our database¹, Henrique Botelho Guerra authored at least 2 papers in 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023