Karthikeyan Bhargavan, Jean-Karim Zinzindohoué, Antoine Delignat-Lavaud et al.|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2017
Cited by 43
Hemwati Nandan Bahuguna Garhwal University
ORCID: 0000-0001-5348-9266129 papers and 3.8k citations.
Indexing the rest of 129 publications…