John Hatcliff, Matthew B. Dwyer, Hongjun Zheng. Slicing Software for Model Construction. Higher-Order and Symbolic Computation, 13(4):315-353, 2000.
@article{HatcliffDZ00,
title = {Slicing Software for Model Construction},
author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng},
year = {2000},
tags = {meta-model, slicing, Meta-Environment},
researchr = {https://researchr.org/publication/HatcliffDZ00},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {13},
number = {4},
pages = {315-353},
}