Login / Signup

Including Design Guidelines in the Formal Specification of Interfaces in Z.

Judy BowenSteve Reeves
Published in: ZB (2005)
Keyphrases