Vol-3454⫷ Vol-3455 ⫸Vol-3456
urn:nbn:de:0074-3455-0


Vol-3455/xpreface⫷Vol-3455/invited1⫸Vol-3455/invited2
Haniel Barbosa

Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper)