GDPA  
/Mili, 1986/  

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
  • Related publications
  • Glossary
  • Identification

    /Mili, 1986/
    Formal models of stepwise refinements of programs

    Author(s)

    Ali Mili (Faculty of Sciences of Tunis, Belvedere, Tunisia)
    Jules Desharnais (McGill Univ., Montreal, Quebec, Canada)
    Jean Raynomd Gagné (Laval Univ., Quebec City, Quebec, Canada)

    Congress/Conference/Publication

    ACM Computing Surveys (CSUR). Volume 18 , Issue 3 (September 1986) Pages: 231 - 276

    Related publications

    Stepwise refinement
    Formal Methods/Models

    Glossary

    Stepwise Refinement

    GDPA Online Last Updated 25.May.2002 Updated by Webmaster Last Revised 25.May.2002 Revised by Webmaster