CUTECat: Concolic Execution for Computational Law (by raphaelm) — discussion

#formalmethods #law