1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Gudmund Grov, Duncan Cameron, Leon McGregor
Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that th…