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

Cached

Download Links

by Francisco J. Cantu , Alan Bundy , Alan Smaill , David Basin
Citations:13 - 6 self