12 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
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…