Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Florida Atlantic University](/img/noimage_org.png)
Florida Atlantic University
Boca de Ratones, Estados UnidosPublicaciones en colaboración con investigadores/as de Florida Atlantic University (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