Using MathLang to Check the Correctness of Specifications in Object-Z

Modern Mathematical Methods and High Performance Computing in Science and Technology - Springer Proceedings in Mathematics & Statistics ◽

10.1007/978-981-10-1454-3_5 ◽

2016 ◽

pp. 45-70

Author(s):

David Feller ◽

Fairouz Kamareddine ◽

Lavinia Burski

Download Full-text