As of the 30th of March 2007, Victor does not work at NASA Langley. For forwarding information please call Lisa Peckham at 757-864-6220 or send mail to
Larc formal methods page
Work biography and education -->
