Application specific higher order logic theorem proving (2002)

by D Kroening
Venue:in Proc. of the Verification Workshop - VERIFY’02, S. Autexier and