12 citations · 24 across the 5 of their papers we have counts for
1 paper · 2 filters
Michael Winikoff
Formal software verification uses mathematical techniques to establish that software has certain properties. For example, that the behaviour of a software system satisfies certain…