Practical formal methods for hardware designde Carlos Delgado Kloos, Werner DammMateriasLogic circuitsMethodologyComputer hardware description languagesDigital integrated circuitsFormal methods (Computer science)Design and constructionComputer input-output equipmentEdiciones (1)Practical formal methods for hardware design (1997)
