Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.

Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert

Browse the full COMPSAC paper archive.