The Unreasonable Effectiveness of Property Testing for Validating Formal Specs

1 pointsposted 8 hours ago
by _doctor_love
(proofsandintuitions.net)

No comments yet