Sotabase

Career

· Hedera

Publications (135)

520
cited
211
cited
Verification with small and short worlds
Formal Methods in Computer-Aided Design · 2012
166
cited
144
cited
Conference on Computer and Communications Security · 2015
115
cited
Sotabase