TY  - DATA
AU  - Miriam Leeser, Geoffrey Brown
TI  - Hardware Specification, Verification and Synthesis: Mathematical Aspects
SN  - 9780387348018
PY  - 1990///
PB  - Springer New York
KW  - Computer Science
UR  - https://doi.org/10.1007/0-387-97226-9
ER  -