6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Shang-Wei Lin, Laure Petrucci
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as…