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