Langley Formal Methods

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 an email address

Victor A. Carreño

(Victor Alberto Carreño Coll)
Larc formal methods team

Larc formal methods page


phone: +1-757-864-6184

Work biography and education -->