Refinement Concepts Formalized in Higher Order Logic (1989)

Cached

Download Links

by R. J. R. Back , J. von Wright
Venue:Formal Aspects of Computing
Citations:8 - 2 self