An Approach to Animating Z Specifications

doi 10.1109/cmpsac.1995.524767
Full Text
Abstract

Available in full text

Date

Unknown

Authors

Unknown

Publisher

IEEE Comput. Soc. Press