Postprocessing of static analysis alarms

Tukaram Bhagwat Muske

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

832 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Serebrenik, Alexander, Promotor van den Brand, Mark G.J., Promotor
Award date	7 Jul 2020
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Print ISBNs	978-90-386-5037-1
Publication status	Published - 7 Jul 2020

Proefschrift.

Access to Document

@phdthesis{665ee342f25048e785645d152dbe9c41,

title = "Postprocessing of static analysis alarms",

author = "Muske, {Tukaram Bhagwat}",

note = "Proefschrift. ",

year = "2020",

month = jul,

day = "7",

language = "English",

isbn = "978-90-386-5037-1",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}