Formal Verification of Gate-Level Computer Systems Chapter uri icon

publication date

  • January 1, 2009

start page

  • 322

end page

  • 333