Announcement_26
Our paper A Deductive System for Contract Satisfaction Proofs will appear at PLDI’26. The preprint is available on ArXiv.
Our paper A Deductive System for Contract Satisfaction Proofs will appear at PLDI’26. The preprint is available on ArXiv.