Books listed by ISBN
>
Springer
> Miroslav Velev
Miroslav Velev
Miroslav Volf
title
ISBN-13
(ISBN-10)
year of publication
Formal Verification of Microprocessors: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs
978-1-4419-O955-8
(1-4419-O955-9)
2015
Miroslav Verner