Verified Computer Software Development and Applications Aaron Birenboim Albuquerque, NM 87106 (505) 232-3289