By the same authors

From the same journal

A Practical Language and Toolset for High-Integrity Tools

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalJournal of Systems and Software
DatePublished - 1998
Volume41
Number of pages13
Pages (from-to)161-173
Original languageEnglish

Discover related content

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

View graph of relations