Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Hi-index | 0.00 |