Reusable Libraries for Safety-Critical Java.

Juan Ricardo Rios, Martin Schoeberl

Browse the full ISORC paper archive.