By the same authors

Algebraic Compilation of Safety-Critical Java Bytecode

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

  • BC17

    353 KB, PDF document

Published copy (DOI)



Publication details

Title of host publicationIntegrated Formal Methods
DatePublished - 1 Sep 2017
Number of pages16
EditorsN. Polikarpova, S. Schneider
Original languageEnglish

Bibliographical note

© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Discover related content

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

View graph of relations