A SPIN-based approach for detecting vulnerabilities in C programs
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | ISSN: 0146-4116 |
| Author | Kushik, Natalia, Mammar, Amel, Cavalli, Ana Rosa, Yevtushenko, Nina, Jimenez Freitez, Willy Ronald, Montes de Oca, Edgardo |
| Maintainer | CCSD |
| Last Updated | May 15, 2026, 10:57 (UTC) |
| Created | May 15, 2026, 10:57 (UTC) |
| Identifier | hal-00772243 |
| Language | en |
| contributor | National Research Tomsk State University [Tomsk] (TSU) |
| creator | Kushik, Natalia |
| date | 2012-12-15T00:00:00 |
| harvest_object_id | ead206a4-f562-4425-abad-fb7da076d3ec |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-02-18T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.3103/S0146411612070115 |
| set_spec | type:ART |