|
Jun 15, 2024
|
|
|
|
COSC 7352 - Advanced Symbolic Computing and Formal VerificationCr. 3. (3-0) Prerequisite: COSC 6352 or consent of instructor. Study of current research in symbolic computing, rewriting, automated deduction, and formal verification.
Add to Portfolio (opens a new window)
|
|