Hacker News new | ask | show | jobs
CUTECat: Concolic Execution for Computational Law (arxiv.org)
2 points by raphaelmo 513 days ago