[University home]

School of Computer Science

To verify or not to verify: adventures in dynamical systems using MetiTarski