Skip to main content

Projects

Research Projects

View Current Projects        View All Projects

  • Automated reasoning for security and privacy: International Exchanges Standard Programme with Ranko Lazic, Marcin Jurdzinski, Funded by: Royal Society, Project Start Date 31-03-2017 - Project End Date 30-03-2019
    
Page 1 of 1