C track
From CRV
Revision as of 23:25, 23 April 2016 by Giles (Talk | contribs) (Created page with "There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implici...")
There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implicit track is for properties such as memory-safety i.e. properties that are implicit in the C language.
