Support for Model Checking Z Specifications

Maria Ulfah Siregar. Support for Model Checking Z Specifications. In 17th IEEE International Conference on Information Reuse and Integration, IRI 2016, Pittsburgh, PA, USA, July 28-30, 2016. pages 241-248, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.