João Costa Seco - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Wed 15 Jan 2020

Name:João Costa Seco

Country:Portugal

Affiliation:NOVA-LINCS; Nova University of Lisbon

Contributions

2023

ECOOP

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

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile