Poster: Automatic Consistency Checking of Requirements with ReqV.

Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella

Browse the full ICST paper archive.