2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Joanne M. Atlee, Stefania Gnesi
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a dis…