Items where authors include "Siregar, M. U."

Proceedings Paper

Siregar, M. U. and Derrick, J. (2014) Using Abstraction in Model Checking Z Specifications. In: The University of Sheffield Engineering Symposium Conference Proceedings Vol. 1. USES 2014 - The University of Sheffield Engineering Symposium, 24 June 2014, The Octagon Centre, University of Sheffield. .