Title of article

Searching for a Global Search Algorithm

Author/Authors

Sabine Dick and Thomas Santen ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1997

Pages

7

From page

7

To page

13

Keywords

Program synthesis , formal methods , Prototyping , VDM , Refinements

Journal title

Automated Software Engineering

Serial Year

1997

Journal title

Automated Software Engineering

Record number

307004