home
>
book reviews
> John C. Knight
Google >
John C. Knight
author : John C. Knight
Short works
Preliminary Experience Using Z to Specify a Safety-Critical System. 1993.
(In
7th Z User Workshop
)
Preliminary Evaluation of a Formal Approach to User Interface Specification. 1997.
(In
ZUM '97
)