Access Restriction

Author Vardi, Moshe Y. ♦ Alur, Rajeev ♦ Henzinger, Thomas 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 2016-02-17

Source: ACM Digital Library