Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Building interprocess communication models using Stile
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Hi-index | 0.00 |