No. Title Author Year
1 How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Eichholz, Matthias et al. 2019
2 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Krüger, Stefan et al. 2018
3 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) Krüger, Stefan et al. 2018
4 Fault-tolerant Distributed Reactive Programming Mogk, Ragnar et al. 2018
5 A Co-contextual Type Checker for Featherweight Java Kuci, Edlira et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Imprint | Privacy Published by LZI