vix.ing · top · new · best · stats · spec

Mota, Alexandre

  1. Formally Verifying a Real World Smart Contract
    2023/07/05 by Alexandre Mota, Fei Yang, Mota, Alexandre +3 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques