activity
20102023
most citedSlither: A Static Analysis Framework For Smart Contracts

849 citations · 883 across the 11 of their papers we have counts for

collaborators
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017

Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

Alex Groce, Stefan Leue

The second international CREST workshop continued the focus of the first CREST workshop: addressing approaches to causal reasoning in engineering complex embedded and safety-critic…