DMCA

A Practical Method for Rigorously Controllable Hardware Design (1996)

Cached

Download Links

by E. Börger , S. Mazzanti
Venue:ZUM’97: The Z Formal Specification Notation, volume 1212 of LNCS
Citations:22 - 5 self