"An Undergraduate Summer Research Program in Software Safety."

W. Eric Wong, Vidroha Debroy (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics