Canonical Institutions of Behaviour
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |