Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations
IEEE Transactions on Software Engineering
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Hi-index | 0.00 |