activity
20192026
most citedTowards Multidimensional Verification: Where Functional Meets Non-Functional

10 citations · 16 across the 7 of their papers we have counts for

collaborators
Showing cs.CRShow all

4 papers · 1 filter