Rui Shi Implementing reliable Linux device drivers in ATS. [Citation Graph (0, 0)][DBLP] PLPV, 2007, pp:41-46 [Conf]
Nicolas Oury Pattern matching coverage checking with dependent types using set approximations. [Citation Graph (0, 0)][DBLP] PLPV, 2007, pp:47-56 [Conf]