A path sensitive analysis tool for detecting rule violations in C code

Bibliografiska uppgifter
Huvudupphovsman: Ahmed Jabir B F
Språk:English
Publicerad: cusat computer science,cusat 2005

DCS

Beståndsuppgifter i DCS
Signum: PROJECT
Exemplar Status otillgänglig

Liknande verk