Access Restriction

Author Podelski, Andreas ♦ Vardi, Moshe Y. ♦ Rybalchenko, Andrey ♦ Gotsman, Alexey ♦ Cook, Byron
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 1983-05-01

Source: ACM Digital Library