By the same authors

From the same journal

From the same journal

Verified Software: A Grand Challenge

Research output: Contribution to journalEditorial

Author(s)

Department/unit(s)

Publication details

JournalComputer
DatePublished - Apr 2006
Issue number4
Volume39
Number of pages3
Pages (from-to)93-95
Original languageEnglish

Discover related content

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

View graph of relations