Extending Operation Semantics to Enhance the Applicability of Formal Refinement

Specification, Algebra, and Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54624-2_21 ◽

2014 ◽

pp. 434-440

Author(s):

Shaoying Liu

Download Full-text