A Generic Process to Refine a B Specification into a Relational Database Implementation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Towards formally templated relational database representations in z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Hi-index | 0.00 |