![](/img/cover-not-exists.png)
Property specification patterns at work: verification and inconsistency explanation
Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, SimoneLanguage:
english
Journal:
Innovations in Systems and Software Engineering
DOI:
10.1007/s11334-019-00339-1
Date:
May, 2019
File:
PDF, 1.69 MB
english, 2019