DMCA

Safe Modification of Pointer Programs in Refinement Calculus

Cached

Download Links

by Susumu Nishimura