book chapter · Springer eBooks · 1989

Program analysis and verification

Bernard Carré

Cited by 16Abstract and details only

Abstract

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

Cite this paper

Carré, B. (1989). Program analysis and verification. Springer eBooks, 176–197. https://doi.org/10.1007/978-1-4684-5775-9_8

MLA 9

Carré, Bernard. “Program analysis and verification.” Springer eBooks, 1989, pp. 176–97, https://doi.org/10.1007/978-1-4684-5775-9_8.

Chicago

Carré, Bernard. 1989. “Program analysis and verification.” Springer eBooks: 176–97. https://doi.org/10.1007/978-1-4684-5775-9_8.

Harvard

Carré, B. (1989) ‘Program analysis and verification’, Springer eBooks, pp. 176–197. Available at: https://doi.org/10.1007/978-1-4684-5775-9_8.

BibTeX

@incollection{carre1989program,
  title = {{Program analysis and verification}},
  author = {Carré, Bernard},
  booktitle = {Springer eBooks},
  pages = {176--197},
  year = {1989},
  doi = {10.1007/978-1-4684-5775-9_8}
}

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