aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Abstract interpretation.md
blob: d98525f7ca941eb2d7ef521f1aa4fc800c91070c (plain)
1
2
3
4
# Reference

1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)