Related: Software engineering | CMPSC 360

Concept: Mathematical proof technique essential for algorithm analysis and correctness verification.