DMCA

Speci cation and Renement in General Correctness

Cached

Download Links

by Steve Dunne , Andy Galloway , Bill Stoddart