Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Hi-index | 0.00 |