DIET: Developing Implementation and Extending Theory A Symbolic Approach to Reasoning about LOTOS
Research
The Diet Project
Home
Dr Carron Shankland
Email: ces@cs.stir.ac.uk
Last revision: 20th August 2001
![[]](../Pix/dkblu-marble.gif)
Research
![[]](../Pix/up-arrow.gif)
The Diet Project
![[Home]](../Pix/home.gif)
Home
![[email me]](../Pix/mailto.gif)
Last revision: 20th August 2001