Soundness of Data Refinement for a Higher Order Imperative Language (1999)

by David A. Naumann
Citations:9 - 4 self