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

Yang, Fanpeng

  1. Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
    2025/06/11 by Yang, Fanpeng, Ma, Xu, Wang, Shuling +5 · 3 citations
    #FOS: Computer and information sciences #Software Engineering (cs.SE)