Login / Signup

CADiZ: An Architecture for Z Tools and its Implementation.

Ian ToynJohn Alexander McDermid
Published in: Softw. Pract. Exp. (1995)
Keyphrases