Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Bibliographic Information

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Markus Müller-Olm

(Lecture notes in computer science, 1283)

Springer, c1997

Available at  / 43 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top