Henrique Botelho Guerra

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

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

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco

Dagstuhl Artifacts Ser., 2023

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

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco

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