Formal Methods in Digital Design

J. Herbert , C.J. van Rijsbergen (編輯) , Samson Abramsky (編輯)