Slicing software for model construction (0)

by J Hatcliff, M B Dwyer, H Zheng
Venue:Journal of Higher-order and Symbolic Computation