 | Up a level |
Number of items: 1.
Al-Shareefi, Farah
(2019)
Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines.
PhD thesis, University of Liverpool.
| Up a level |
Al-Shareefi, Farah
(2019)
Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines.
PhD thesis, University of Liverpool.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000