Lisandra Maria Pereira da Silva


AuthID: R-00H-YGQ

Publicações Confirmadas: 1



1
TÍTULO: Formal Verification of Authenticated, Append-Only Skip Lists in Agda
AUTORES: Miraldo, VC; Carr, H; Moir, M; Silva, L ; Steele, GL;
PUBLICAÇÃO: 2021, FONTE: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) in CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS
INDEXADO EM: Scopus WOS

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service