Siregar, Maria Ulfah (2018) A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications. In: A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications. Springer International Publishing.