CADiZ: An Architecture for Z Tools and its Implementation (1995)

Cached

Download Links

by Ian Toyn , John A. McDermid
Venue:SOFTWARE---PRACTICE AND EXPERIENCE, VOL. 25(3), 305--330 (MARCH 1995)
Citations:21 - 7 self