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