H ?
«
‹
←
→
›
»
Language peer sets for SLIC: United States↑ United States/2002↑ Designed 2002 ↑ 2000s languages ↑ Internet↑ New internationlism↑ SLIC(ID:3734/sli002)alternate simple viewCountry: United States Designed 2002 for a Specification Language for Interface Checking Ball and Rajamani MIcrosoft Research 2002 A specification language to facilitate interface in C Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |