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

Burdy, Lilian

  1. Formally Checking Large Data Sets in the Railways
    2012/10/25 by Lecomte, Thierry, Burdy, Lilian, Leuschel, Michael · 1 citation
    #FOS: Computer and information sciences #Software Engineering (cs.SE)