Xiufeng Ni, Cui Zhang. Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis. Journal of Object Technology, 7(8):165-185, 2008. [doi]
@article{NiZ08-0,
title = {Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis},
author = {Xiufeng Ni and Cui Zhang},
year = {2008},
doi = {10.5381/jot.2008.7.8.a6},
url = {http://dx.doi.org/10.5381/jot.2008.7.8.a6},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/NiZ08-0},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {7},
number = {8},
pages = {165-185},
}