[Lemma 1]

Welcome to Lemma 1!

This is the home page for Lemma 1 Ltd.

Lemma 1 provides consultancy in software engineering. We specialise in tools and methods for applying formal, mathematical, methods for specifying, designing and verifying critical software systems. We can also undertake software development in a range of programming languages and operating environments.

If you would like to get in touch, please contact Rob Arthan by e-mail at [rda at lemma-one dot com].

Created by Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2014/01/23 16:40:34 $
[Lemma 1]