Program Verification using HOL-UNITY (1994)

View PDF

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:17 - 1 self