Report on the third static analysis tool exposition (SATE 2010) / / vadim Okun, Aurelien Delaitre, Paul E. Black |
Autore | Okun Vadim |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2011 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BlackPaul E
DelaitreAurélien OkunVadim |
Collana | NIST special publication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Report on the third static analysis tool exposition |
Record Nr. | UNINA-9910711175403321 |
Okun Vadim
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The second static analysis tool exposition (SATE) 2009 / / vadim Okun, Aurelien Delaitre, Paul E. Black |
Autore | Okun Vadim |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2010 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BlackPaul E
DelaitreAurélien OkunVadim |
Collana | NIST special publication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Second static analysis tool exposition |
Record Nr. | UNINA-9910711175203321 |
Okun Vadim
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Static analysis tool exposition (SATE) 2008 / / vadim Okun, Romain Gaucher, Paul E. Black |
Autore | Okun Vadim |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2009 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BlackPaul E
GaucherRomain OkunVadim |
Collana | NIST special publication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Static analysis tool exposition |
Record Nr. | UNINA-9910711175703321 |
Okun Vadim
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|