A simple Java web application.

FilmChain secondary market build on blockchain

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Programs used to evaluate correctness for the "Scalable Static Detection of Data Races and Deadlocks" project.

Programs used to evaluate scalability for the "Scalable Static Detection of Data Races and Deadlocks" project.

A default theme providing support for home, blog post, and about pages for the static site generator tent

Archive of group publications. This repository is used by various group webpage repositories.