Slicing software for model construction (0)

by John Hatcliff, Matthew B Dwyer, Hongjun Zheng
Venue:Higher Order and Symbolic Computation