6 citations · 10 across the 9 of their papers we have counts for
1 paper · 1 filter
Anastasios Manganaris, Vittorio Giammarino, Ahmed H. Qureshi +1
As hardware and software systems have grown in complexity, formal methods have been indispensable tools for rigorously specifying acceptable behaviors, synthesizing programs to mee…