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

(sequent.inc)

3 points | by matt_d 6 hours ago ago

No comments yet.