Book

Practical formal methods for hardware design

by Carlos Delgado Kloos, Werner Damm