7 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
David Basin, Andreas Fürst, Thai Son Hoang +2
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are…