Your search returned the following document:

1. Terminator: Beyond Safety
   Byron Cook, Andreas Podelski, and Andrey Rybalchenko
   In: Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, 2006, 415-418