Miroslav Velev

• Formal Verification of Microprocessors