Refinement Calculus: A Systematic Introduction (Texts in Computer Science)

Refinement

by: Ralph-Johan Back · Joakim Wright

Paperback

ISBN: 978-0-387-98417-9

ISBN-10: 0-387-98417-8

Springer · 1998