home
>
publications
>
Z
>
New Horizons in Formal Methods -- long version
Susan Stepney.
New Horizons in Formal Methods.
The Computer Bulletin
, pp 24-26. BCS, January 2001.