Tools for Design, Implementation and Verification of Emerging Information Technologies - Xiaodong Wang - E-bok | Bokus