The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
A proposal for extending UML-B to support a conceptual model
Innovations in Systems and Software Engineering
Hi-index | 0.00 |