GDPA  
/Broy, 1998/  

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
  • Products/projects
  • Related publication publication

    • Identification

    /Broy, 1998/
    Enriching the Software Development Process by Formal Methods

    Author(s)

    Broy, M.
    Slotosch, O.

    Congress/Conference/Publication

    LNCS 1641, 44-61

    Address for download

    http://www4.in.tum.de/proj/quest/papers/process.ps.gz

    Related publications

    Introduction to Formal Methods

    GDPA Homepage Last Updated 25.Oct.1999 Updated by Webmaster Last Revised 25.Oct.1999 Revised by Webmaster