As of the 30th of March 2007, Victor does not work at NASA Langley. For forwarding information please send email to
Larc formal methods page
Work biography and education -->
