Vol-3428⫷ Vol-3429 ⫸Vol-3430
urn:nbn:de:0074-3429-0


Vol-3429/short10⫷Vol-3429/abstract14⫸Vol-3429/paper4
Hanna LachnittMathias FleuryLeni AnivaAndrew Reynolds 0001Haniel BarbosaCesare TinelliClark W. BarrettAndres Nötzli

Automatic Verification of SMT Rewrites in Isabelle/HOL