4 citations · 4 across the 2 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…