On the Unreasonable Effectiveness of PBT for Validating Formal Specifications

 (proofsandintuitions.net)

1 points | by matt_d 6 hours ago ago

No comments yet.