Automated Reasoning

By Jasmin Blanchette, Laura Kovacs & Dirk Pattinson

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

C++ GUI Programming with Qt4

Jasmin Blanchette & Mark Summerfield

Operating Systems
Automated Reasoning

Jasmin Blanchette, Laura Kovacs & Dirk Pattinson

Computers