OXFORD UNIVERSITY COMPUTING LABORATORY

New Approaches to Security and Model Checking

sponsors

ONR, U.S.

info

duration

1st January 2009 to 31st December 2009

people

themes

Random Image
Random Image
Random Image