Assertion based Inductive Verification M
β
Marco Comini; Roberta Gori; Giorgio Levi
π
Article
π
2001
π
Elsevier Science
π
English
β 949 KB