State University System of Florida-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2006

  1. Detecting deadlock, double-free and other abuses in a million lines of linux kernel source

    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS