Hsieh, Harry

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Synchronous equivalence : formal methods for embedded systems by: Sangiovanni-Vincentelli, Alberto; Hsieh, Harry; Balarin, Felice (Language materials, printed)

Subjects