Behan, Senan (2022) Solidity Smart Contract Testing with Static Analysis Tools. Masters thesis, Dublin, National College of Ireland.
![[up]](/style/images/multi_up.png)
Up a level