56 citations · 75 across the 6 of their papers we have counts for
1 paper · 1 filter
Mario Gleirscher, Diego Marmsoler
Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvem…