Model-based specification

A. Bijlsma

Research output: Contribution to journal › Article › Academic › peer-review

Original languageUndefined/Unknown
Pages (from-to)77-84
Number of pages8
JournalInformation Processing Letters
Volume77
Publication statusPublished - 2001

Keywords

  • Wiskunde en Informatica (WIIN)

Access to Document

    Cite this