Building certified static analysers by modular construction of . . . (2008)

by David Pichardie
Citations:5 - 3 self