Nuno Carvalho Cristiano da Silva Sousa Jorge Sousa Pinto Aaron Tomb Formal Verification of kLIBC with the WP Frama-C Plug-in. 343-358 2014 NASA Formal Methods https://doi.org/10.1007/978-3-319-06200-6_29 conf/nfm/2014 db/conf/nfm/nfm2014.html#CarvalhoSPT14