Software Verification and Deep Neural Network Verification

Date:

Invited Tutorial of Guest lecture in UTS, Virtual, 2024