This paper proposes an extension of operation semantics and discusses its benefits in enhancing the applicability of Morgan's formal refinement calculus in practical software development. © 2014 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Liu, S. (2014). Extending operation semantics to enhance the applicability of formal refinement. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8373, 434–440. https://doi.org/10.1007/978-3-642-54624-2_21
Mendeley helps you to discover research relevant for your work.