## Program Verification using HOL-UNITY (1994)

by
Flemming Andersen
,
Kim Dam Petersen
,
Jimmi S. Pettersson

Venue: | Higher Order Logic Theorem Proving and Its Applications: HUG ’93, LNCS 780 |

Citations: | 17 - 1 self |