5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Ernesto Pimentel, Valentín Valero
This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting…