Using PVS to Prove a Z Refinement: A Case Study (1997)

Cached

Download Links

by David W. J. Stringer-Calvert , Susan Stepney , Ian Wand
Citations:13 - 5 self