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

Massoni, Tiago

  1. A Domain-Specific Language for Verifying Software Requirement Constraints
    2019/11/06 by Marzina Vidal, Vidal, Marzina, Tiago Massoni +3 · 1 voice
    #cs.SE