C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Association of paleopalynological data from the Nanxiong Basin, south China, and late Paleocene niche expansion in endemic Asian fossil mammals.