Demonstration of COSAK static analysis tools

Conference proceeding

D DaCosta, C Dahn, S Mancoridis, Prevelakis and IEEE COMPUTER SOCIETY

DARPA INFORMATION SURVIVABILITY CONFERENCE AND EXPOSITION, VOL II, PROCEEDINGS

01 Jan 2003

Additional Links

Computer Science

Computer Science, Hardware & Architecture

Computer Science, Information Systems

Computer Science, Software Engineering

Engineering

Engineering, Electrical & Electronic

Science & Technology

Technology

14 Record Views

Title: Demonstration of COSAK static analysis tools
Creators: D DaCosta
C Dahn
S Mancoridis
Prevelakis
IEEE COMPUTER SOCIETY
Publication Details: DARPA INFORMATION SURVIVABILITY CONFERENCE AND EXPOSITION, VOL II, PROCEEDINGS
Conference: DARPA INFORMATION SURVIVABILITY CONFERENCE AND EXPOSITION
Publisher: IEEE
Number of pages: 3
Resource Type: Conference proceeding
Language: English
Academic Unit: Computer Science (Computing)
Identifiers: 991019170474004721

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Web of Science research areas: Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering; Engineering, Electrical & Electronic