A review by queen_perfection
Computer Aided Verification by Hana Chockler, Georg Weissenbacher

informative slow-paced

3.25