2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…