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 paper and the source code of the project are available from the JSCert website. A video of the talk given at the conference will be… Read more »
