Computer Aided Verification - Dillig; Tasiran, Serdar (Springer International Publishing, 2019)