Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
UseCase-Wise Development: Retrenchment for Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Hi-index | 0.00 |