SIMÓN JAMES
PICKIN
Profesor contratado doctor
![Foto de SIMÓN JAMES](/img/nophoto.png)
![Foto de State University System of Florida](/img/noimage_org.png)
State University System of Florida
Tallahassee, Estados UnidosPublicacións en colaboración con investigadores/as de State University System of Florida (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