reusable properties for ethereum contracts, by trailofbits

autistic-symposium · Mar 8, 2023 · c2d0866 · c2d0866
1 parent 5eef73e
commit c2d0866
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -59,3 +59,8 @@
 
 * [another solidity vscode plugin](https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity)
 
+<br>
+
+##### advanced readings
+
+* [reusable properties for ethereum contracts, by trailofbits](https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/)