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

Mikhail R. Gadelha

  1. Model Checking C++ Programs
    2021/07/02 by Felipe R. Monteiro, Monteiro, Felipe R., Mikhail R. Gadelha +3 · 1 voice · 2 citations
    Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE