fp.
newest
Open in hackernews
Combining Tests and Proofs with Contracts for Better Software Verification
https://dl.acm.org/doi/10.1145/3793869
1
•
rramadass
•
43m ago