Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France (source)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Applications of structural synthesis of programsTõugu, Enn; Matskin, Mihhail; Penjam, JaanProceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France1999 / p. 551-569
    book article
Number of records 1, displaying 1 - 1