Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Structuring and verifying distributed algorithms
Nordic Journal of Computing
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Hi-index | 0.00 |