Technical perspective: large-scale sound and precise program analysis

Adgang til dokumentet

@article{a7a7fad416c846bea065588b7c55fd12,

title = "Technical perspective: large-scale sound and precise program analysis",

author = "Fritz Henglein",

year = "2010",

month = aug,

doi = "10.1145/1787234.1787258",

language = "English",

volume = "53",

pages = "114",

journal = "Communications of the A C M",

issn = "0001-0782",

publisher = "Association for Computing Machinery, Inc.",

number = "8",

}