Browsing by Author ANDREW EDWARD SANTOSA

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
23-May-2008A framework for program reasoning based on constraint tracesANDREW EDWARD SANTOSA