Results 1 -
0 of
0
No citations were found for this document.
A general completeness result in refinement (2000)
by Y Kinoshita, J Power
| Venue: | in: Proceedings of the 14th International Workshop on Algebraic Development Techniques, no. 1827 in Lecture Notes in Computer Science |
