In this text we present a technical overview of the emerging field of quantum computation along w...

This book develops a consistency-aware approach to design and verification for pipelines in contr...