Course announcement: SMT Solving and Solver-Aided Systems
Lindsey Kuper 2019-09-26
Summary:
New blog post, in which I try to convince you to take my course.
This entry was originally posted at https://lindseykuper.dreamwidth.org/32583.html. Please comment there using OpenID.