selected publications
-
academic article
- A SPIN-based approach for detecting vulnerabilities in C programs. Automatic Control and Computer Sciences. 46:379-386. 2012
Close
Jimenez, W.
Publications
Contact
full name
- W. Jimenez
Publications in VIVO
Co-author Network