eThor

swMATH41978MaRDI QIDQ5974215FDOQ5974215

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2005.06227

Cited In (5)

• The eye of Horus: spotting and analyzing attacks on ethereum smart contracts
• PrologCheck
• Inductive benchmarks for automated reasoning
• SmartCheck
• Vandal

This page was built for software: eThor