Items where Author is "Kirkwood, Carron Elizabeth"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Kirkwood, Carron Elizabeth (1994) Verification of LOTOS Specifications Using Term Rewriting Techniques. PhD thesis, University of Glasgow.
In this section
Kirkwood, Carron Elizabeth (1994) Verification of LOTOS Specifications Using Term Rewriting Techniques. PhD thesis, University of Glasgow.