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

Bønneland, Frederik Meyer

  1. Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
    2023/07/29 by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer +4 · 1 citation
    #D.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)