Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Ernest H. Forman

Professor of Management Science, School of Business George Washington University, Washington, DC 20052 forman@gwu.edu