By the same authors

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings

Research output: Book/ReportBook

Author(s)

Department/unit(s)

Publication details

DatePublished - 1996
PublisherSpringer
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1051

Discover related content

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

View graph of relations