Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Archive of group publications. This repository is used by various group webpage repositories.
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
-
-
A simple Java web application.
-
A simple Java web application.
-
-
-
Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages
-
-
-
-
-
The Modal Interval Calculator (MIC) is a Matlab toolbox that allows performing efficient interval computations using Modal Intervals.
-
An Efficient Implementation of the Set Inversion via Interval Analysis (SIVIA) Algorithm in Matlab
-
-
-
-
