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

Bruno Farias

  1. ESBMC-Python: A Bounded Model Checker for Python Programs
    2024/07/03 by Bruno Farias, Rafael Menezes, Farias, Bruno +7 · 2 citations
    Computer Science · #Computational Physics and Python Applications #FOS: Computer and information sciences #Software Engineering (cs.SE)