By the same authors

From the same journal

From the same journal

2nd World Congress on Formal Methods

Research output: Contribution to journalSpecial issue

Author(s)

Department/unit(s)

Publication details

JournalFormal Methods in System Design
DatePublished - 2010
Issue number2-3
Volume37
Number of pages2
Pages (from-to)93-94
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations