Siregar, Maria Ulfah (2016) Support for Model Checking Z Specifications. In: FMi 2016 in IRI 2016.