By the same authors

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution



Publication details

Title of host publicationREFINE Workshop
DatePublished - 2015
Original languageUndefined/Unknown

Discover related content

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

View graph of relations