Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Formally specifying t cell cytokine networks with b method
CIS'04 Proceedings of the First international conference on Computational and Information Science
Hi-index | 0.00 |