GDPA  
/Sa, 1992/  

A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z

Contents  
  • Identification
  • Author(s)
  • Congress/Conference/Publication
  • Address for download
  • Related publications

    • Identification

    /Sa, 1992/
    Integrating a Formal Specification Method with PML: A Case Study

    Author(s)

    Sa, J.
    Warboys, B.

    Congress/Conference/Publication

    EWSPT02. Trondheim, Norway, Sept, 1992.

    Address for download

    ftp://ftp.cs.man.ac.uk/pub/IPG/sw92.zip

    Related publications

    Development Phases on Formal Methods: Formal specification
    Process Languages
    Formal Methods/Models

    GDPA Homepage Last Updated 26.May.2002 Updated by Webmaster Last Revised 26.May.2002 Revised by Webmaster