Georgia Institute of Technology
0 documents • ranked by quality and engagement.
This course examines techniques for verifying software correctness through static analysis and systematic testing.
No documents uploaded to this course yet.