Sanjit A. Seshia · 2 obras en el catálogoObrasVerified Software : Theories, Tools, and ExperimentsIIntroduction to Embedded SystemsIntroduction to Embedded Systems