Search results for: Dirk Leinenbach
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tutorial > 3-4
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verisoft > 209-224
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Processor Verification > 51-65
Electronic Notes in Theoretical Computer Science > 2008 > 217 > Complete > 23-40
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 411-430