Thumbnail
Access Restriction
Subscribed

Author Sangiovanni-Vincentelli, Alberto L. ♦ Tabuada, Paulo ♦ Pappas, George J. ♦ Nuzzo, Pierluigi ♦ Shoukry, Yasser ♦ Seshia, Sanjit A.
Source ACM Digital Library
Content type Text
File Format PDF
Language English
Age Range 18 to 22 years ♦ above 22 year
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2017-04-13


Source: ACM Digital Library