DMCA

A PVS based Tool for Developing Programs in the Refinement Calculus (1996)

Cached

Download Links

by Jens Knappmann , Christian-albrechts-universitat Zu Kiel
Citations:2 - 0 self