%0 Generic %A Léchenet, Jean-Christophe. %C [S.l.] : %D 2018. %I University Paris Saclay, %T Certified algorithms for program slicing %U http://SK8ES4MC2L.search.serialssolutions.com/?sid=sersol&SS_jc=TC_032474067&title=Certified%20algorithms%20for%20program%20slicing