DMCA

Undefined expressions and logic in Z and B (1999)

Cached

Download Links

by Bill Stoddart , Steve Dunne , Andy Galloway
Venue:in Z and B. Formal Methods in System Design
Citations:2 - 0 self