Formal Methods in Computer Aided Design
Edited book, 2007
Editor
Jason Baumgartner
Mary Sheeran
Chalmers, Computer Science and Engineering (Chalmers)
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
ISBN
0-7695-3023-0