Experiments in Automating Hardware Verification using Inductive Proof Planning (1996)

Cached

Download Links

by Francisco J. Cantu , Alan Bundy , Alan Smaill , David Basin
Citations:14 - 7 self