School Seminar Series

Formal Analysis of Security APIs

25th April 2006, 16:00 add to calender
Dr. Graham Steel
School of Informatics, University of Edinburgh, UK