book chapter · Undergraduate topics in computer science · 2011

Verifying C Programs

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Cited by 1Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Almeida, J. B., Frade, M. J., Pinto, J. S., & de Sousa, S. M. (2011). Verifying C Programs. Undergraduate topics in computer science, 241–256. https://doi.org/10.1007/978-0-85729-018-2_10

MLA 9

Almeida, José Bacelar, et al. “Verifying C Programs.” Undergraduate topics in computer science, 2011, pp. 241–56, https://doi.org/10.1007/978-0-85729-018-2_10.

Chicago

Almeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto, and Simão Melo de Sousa. 2011. “Verifying C Programs.” Undergraduate topics in computer science: 241–56. https://doi.org/10.1007/978-0-85729-018-2_10.

Harvard

Almeida, J.B. et al. (2011) ‘Verifying C Programs’, Undergraduate topics in computer science, pp. 241–256. Available at: https://doi.org/10.1007/978-0-85729-018-2_10.

BibTeX

@incollection{almeida2011verifying,
  title = {{Verifying C Programs}},
  author = {Almeida, José Bacelar and Frade, Maria João and Pinto, Jorge Sousa and de Sousa, Simão Melo},
  booktitle = {Undergraduate topics in computer science},
  pages = {241--256},
  year = {2011},
  doi = {10.1007/978-0-85729-018-2_10}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.