Algebraic Compilation of Safety-Critical Java Bytecode

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

Original languageEnglish
Title of host publicationIntegrated Formal Methods
EditorsN. Polikarpova, S. Schneider
Number of pages16
Publication statusPublished - 1 Sept 2017

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.

Cite this