A General Completeness Result in Refinement (1999)

Cached

Download Links

by Yoshiki Kinoshita , A. J. Power
Venue:in: Proceedings of the 14th International Workshop on Algebraic Development Techniques, no. 1827 in Lecture Notes in Computer Science
Citations:1 - 1 self