Axiomatics for Data Refinement in Call By Value Programming Languages

Cached

Download Links

by John Power , Miki Tanaka
Citations:2 - 0 self