Title: Verification in an age of mobile missiles
Subjects: Guided missiles