An overview of a proof-based approach to detecting C vulnerabilities Conference Paper

authors

Mammar, Amel

publication date

March 21, 2011

published in

Digital Object Identifier (DOI)

https://doi.org/10.1145/1982185.1982476

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W2014331893 Global Citation Count

start page

1343

end page

1344