Download the Poster – Research Institute presented at the third ACE-CSR/RI Conference, December 16th 2014
Presentations
JSCert Project at POPL14
Imperial College London presented their paper “A Trusted Mechanised JavaSript Specification” on the JSCert project at the 41st Principles of Programming Languages Conference in San Diego. The full version of the… Read more »
