Items where Author is "Siregar, Maria Ulfah"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Siregar, Maria Ulfah (2016) Support for Model Checking Z Specifications. PhD thesis, University of Sheffield.

This list was generated on Tue Dec 9 01:36:39 2025 GMT.