Australian Governments Department of Communications / Information Technology and the Arts / University of New South Wales / RWTH Aachen University / ICT Research Centre of Excellence / Australian Research Council / /
Position
NuSMV model for the interprocedural analysis / tackle / interprocedural model for pointer analysis / programmer / /
ProgrammingLanguage
J / C / C++ / /
Region
South Wales / /
Technology
reduction algorithm / Linux / Information Technology / worklist algorithm / presented algorithm / /