Verifying launch interceptor routines with the asymptotic method. ORA internal report (1992)

by D N Hoover, D McCullough
Venue:Odyssey Research Associates, 301 Dates Drive, Ithaca NY