Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL

First Author: Foster S

Attributed to: Higher-order Refinement Techniques for Model Driven Architecture funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-21070-9_5

Publication URI: http://dx.doi.org/10.1007/978-3-642-21070-9_5

Type: Book Chapter

Book Title: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings (2011)

Page Reference: 52-67

ISSN: 03029743 16113349