Why Higher-Order Logic Is a Good Foundation for Deep Verification

 (sequent.inc)

3 points | by matt_d 3 hours ago

0 comments