Academic
Conferences
CAV - Computer Aided Verification

Computer Aided Verification,CAV,Software Engineering

CAV - Computer Aided Verification
Publications: 1,072| Citation Count: 32,739 (Self-Citation: 1,808)
Year Range: 1990-2012
Fields of study: Software Engineering
Cumulative Annual
Sort by: