iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/fmics/GaravelBP20.xml
Hubert Garavel Maurice H. ter Beek Jaco van de Pol The 2020 Expert Survey on Formal Methods. 3-69 2020 FMICS https://doi.org/10.1007/978-3-030-58298-2_1 conf/fmics/2020 db/conf/fmics/fmics2020.html#GaravelBP20