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