By the same authors

FME '93 - Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

Research output: Book/ReportBook

Author(s)

Department/unit(s)

Publication details

DatePublished - 1993
PublisherSpringer
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume670

Discover related content

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

View graph of relations