Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The echo approach to formal verification
Proceedings of the 28th international conference on Software engineering
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
UseCase-Wise Development: Retrenchment for Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
UC'11 Proceedings of the 10th international conference on Unconventional computation
Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Active models: a possible approach to the integration of objective and subjective process models
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Retrenching the purse: finite sequence numbers, and the tower pattern
FM'05 Proceedings of the 2005 international conference on Formal Methods
Retrenchment and the b-toolkit
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
| Hi-index | 0.01 |