Program Verification using HOL-UNITY (1994)

Cached

Download Links

by Flemming Andersen , Kim Dam Petersen , Jimmi S. Pettersson
Venue:Higher Order Logic Theorem Proving and Its Applications: HUG ’93, LNCS 780
Citations:16 - 1 self