Model Checking
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

toryah1988 has added Harry Potter And The Order Of The Phoenix to their read list.

toryah1988 has added Harry Potter And The Goblet Of Fire to their read list.

toryah1988 has added Atonement to their read list.

toryah1988 has added New Moon (The Twilight Saga) to their read list.

Monica has added The Da Vinci Code (Large Print) to their wish list.