Informática
Fakultatea
Florida Atlantic University
Boca de Ratones, Estados UnidosFlorida Atlantic University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2006
-
Detecting deadlock, double-free and other abuses in a million lines of linux kernel source
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS