Skip to content
Free planNo credit card requiredStart writing

book · Lecture notes in computer science · 2012

Static Analysis

Antoine Miné, David Schmidt

Cited by 2Abstract and details only

Abstract

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

Cite this paper

APA 7

Miné, A., & Schmidt, D. (2012). Static Analysis. Lecture notes in computer science. https://doi.org/10.1007/978-3-642-33125-1

MLA 9

Miné, Antoine, and David Schmidt. “Static Analysis.” Lecture notes in computer science, 2012, https://doi.org/10.1007/978-3-642-33125-1.

Chicago

Miné, Antoine, and David Schmidt. 2012. “Static Analysis.” Lecture notes in computer science. https://doi.org/10.1007/978-3-642-33125-1.

Harvard

Miné, A. and Schmidt, D. (2012) ‘Static Analysis’, Lecture notes in computer science. Available at: https://doi.org/10.1007/978-3-642-33125-1.

BibTeX
@book{mine2012static,
  title = {{Static Analysis}},
  author = {Miné, Antoine and Schmidt, David},
  publisher = {Lecture notes in computer science},
  year = {2012},
  doi = {10.1007/978-3-642-33125-1}
}

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