author : Edmund M. Clarke Jr

Books

• Model Checking. 1999, with Orna Grumberg, Doron A. Peled