home > publications > SWE > Formal Design Methods

Susan Stepney.
Formal Design Methods.

1989.

Comment:

This is a contracted book chapter prepared for Butterworth's Computer Engineer's Reference Book; the book was never published.

full chapter : PDF 24MB

@unpublished(Stepney:1989:FormalDesignMethods,
  author = "Susan Stepney",
  title = "Formal Design Methods",
  note = "(unpublished book chapter)",
  year = 1989
)