Volume: Vol-3725 SMT 2024 | Year: 2024

Paper: « preface | invited1 | invited2 »

Invited Talk: The Hows and Whys of Higher-Order SMT

• Sophie Tourret ORCID dblp

1-1 PDF