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

Dmitrii Suvorov

  1. Smart Contract Design Meets State Machine Synthesis: Case Studies
    2019/06/07 by Dmitrii Suvorov, Suvorov, Dmitrii, Vladimir Ulyantsev +1 · 2 citations
    Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE)