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

Halder, Raju

  1. Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
    2024/09/03 by Kaushik, Kartik, Halder, Raju, Mondal, Samrat · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)