Finding and fixing faults (2005)

by Stefan Staber , Roderick Bloem
Venue:Paul (Eds.), 13th Conference on Correct Hardware Design and Verification Methods (CHARME ’05
Citations:26 - 5 self