No. Title Author Year
1 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Krüger, Stefan et al. 2018
2 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) Krüger, Stefan et al. 2018
3 Fault-tolerant Distributed Reactive Programming Mogk, Ragnar et al. 2018
4 A Co-contextual Type Checker for Featherweight Java Kuci, Edlira et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI