( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified Cryptographic Code for Everybody.

, , , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 645-668. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Raluca Stefanescu

Alexandra Stefanescu

Alexander Stefanescu

Teodor Stefanescu

Alin Stefanescu

 

Другие публикации лиц с тем же именем

A Constructor-Based Reachability Logic for Rewrite Theories., , и . Fundam. Informaticae, 173 (4): 315-382 (2020)Recursive proofs for inductive tree data-structures., , и . POPL, стр. 123-136. ACM, (2012)Toward language-independent program verification. University of Illinois Urbana-Champaign, USA, (2016)Natural proofs for structure, data, and separation., , , и . PLDI, стр. 231-242. ACM, (2013)Matching logic: a new program verification approach., и . ICSE, стр. 868-871. ACM, (2011)From Hoare Logic to Matching Logic Reachability., и . FM, том 7436 из Lecture Notes in Computer Science, стр. 387-402. Springer, (2012)MatchC: A Matching Logic Reachability Verifier Using the K Framework.. K, том 304 из Electronic Notes in Theoretical Computer Science, стр. 183-198. Elsevier, (2011)Macaw: A Machine Code Toolbox for the Busy Binary Analyst., , , , , , , , , и 4 other автор(ы). CoRR, (2024)Verified Cryptographic Code for Everybody., , , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 645-668. Springer, (2021)KJS: a complete formal semantics of JavaScript., , и . PLDI, стр. 346-356. ACM, (2015)