21 citations · 30 across the 4 of their papers we have counts for
1 paper · 1 filter
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…