Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Howard Bowman, John Derrick, Hendrik Brinksma

    Research output: Contribution to journalArticleAcademicpeer-review

    55 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)577-578
    JournalIEEE transactions on software engineering
    Volume26
    Issue number7
    DOIs
    Publication statusPublished - 2000

    Keywords

    • METIS-306255
    • IR-92409

    Cite this