
Registered user since Fri 12 Jun 2020
Contributions
FMS 2018 | Modular Verification of Deep Specifications of Security-Critical Components | ||||||||||||||||||||||||||||||||||||||||
DeepSpec 2018 | The Science of Deep Specification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile