ePrints

Formal development: An example using FDSS

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Chapman DN, Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1973

Print publication date: 01/01/1973

Source Publication Date: 1973

Report Number: TN 9007

Institution: IBM Laboratory

Place Published: Hursley

Share