Refining UML interactions with underspecification and nondeterminism
Nordic Journal of Computing
On the complexity of equivalence of specifications of infinite objects
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |