Composition of proof-carrying architectures for cyber-physical systems.

Ethan T. McGee, John D. McGregor

Browse the full SPLC paper archive.